Anne is kind. Anne is quiet. Anne is red. Dave is cold. Dave is furry. Dave is green. Fiona is cold. Fiona is furry. Fiona is green. Fiona is quiet. Fiona is red. Fiona is rough. If someone is kind then they are rough. If someone is red then they are kind. If someone is red then they are rough. If Anne is quiet then Anne is kind. If Dave is quiet then Dave is cold. If Dave is red and Dave is green then Dave is kind. If someone is rough then they are kind. All furry, green people are kind.
Anne is kind.
("Anne" "is" "kind" "+")
Anne is quiet.
("Anne" "is" "quiet" "+")
Anne is red.
("Anne" "is" "red" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Dave is furry.
("Dave" "is" "furry" "+")
Dave is green.
("Dave" "is" "green" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
If someone is kind then they are rough.
((("someone" "is" "kind" "+")) -> ("someone" "is" "rough" "+"))
If someone is red then they are kind.
((("someone" "is" "red" "+")) -> ("someone" "is" "kind" "+"))
If someone is red then they are rough.
((("someone" "is" "red" "+")) -> ("someone" "is" "rough" "+"))
If Anne is quiet then Anne is kind.
((("Anne" "is" "quiet" "+")) -> ("Anne" "is" "kind" "+"))
If Dave is quiet then Dave is cold.
((("Dave" "is" "quiet" "+")) -> ("Dave" "is" "cold" "+"))
If Dave is red and Dave is green then Dave is kind.
((("Dave" "is" "red" "+") ("Dave" "is" "green" "+")) -> ("Dave" "is" "kind" "+"))
If someone is rough then they are kind.
((("someone" "is" "rough" "+")) -> ("someone" "is" "kind" "+"))
All furry, green people are kind.
((("someone" "is" "furry" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "kind" "+"))
Fiona is quiet.
True
1
proof
[(triple10)]
("Fiona" "is" "quiet" "+")
triple10
Dave is not cold.
False
1
inv-proof
[(triple4)]
("Dave" "is" "cold" "-")
triple4
Dave is kind.
True
3
proof
[(((triple5 triple6) -> rule8))]
("Dave" "is" "kind" "+")
((triple5 triple6) -> (rule8 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Anne is not rough.
False
2
inv-proof
[(((triple1) -> rule1) OR ((triple3) -> rule3) OR ((((triple2) -> rule4)) -> rule1) OR ((((triple3) -> rule2)) -> rule1))]
("Anne" "is" "rough" "-")
((triple1) -> (rule1 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
((triple3) -> (rule3 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
((((triple2) -> (rule4 % int2))) -> (rule1 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
((((triple3) -> (rule2 % int2))) -> (rule1 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is not green.
Unknown
inv-random
[@0: Anne is green.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "green" "-")
Dave is red.
Unknown
random
[@0: Dave is red.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "red" "+")
Anne is not furry.
Unknown
inv-random
[@0: Anne is furry.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "furry" "-")
Anne is cold.
Unknown
random
[@0: Anne is cold.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "cold" "+")
@0: Anne is kind.[(triple1 OR ((triple2) -> rule4) OR ((triple3) -> rule2) OR ((((triple3) -> rule3)) -> rule7))] Anne is quiet.[(triple2)] Anne is red.[(triple3)] Dave is cold.[(triple4)] Dave is furry.[(triple5)] Dave is green.[(triple6)] Fiona is cold.[(triple7)] Fiona is furry.[(triple8)] Fiona is green.[(triple9)] Fiona is quiet.[(triple10)] Fiona is red.[(triple11)] Fiona is rough.[(triple12 OR ((triple11) -> rule3) OR ((((triple11) -> rule2)) -> rule1) OR ((((triple8 triple9) -> rule8)) -> rule1))] @1: Anne is rough.[(((triple1) -> rule1) OR ((triple3) -> rule3) OR ((((triple2) -> rule4)) -> rule1) OR ((((triple3) -> rule2)) -> rule1))] Dave is kind.[(((triple5 triple6) -> rule8))] Fiona is kind.[(((triple11) -> rule2) OR ((triple12) -> rule7) OR ((triple8 triple9) -> rule8) OR ((((triple11) -> rule3)) -> rule7))] @2: Dave is rough.[(((((triple5 triple6) -> rule8)) -> rule1))]
Anne is kind.
("Anne" "is" "kind" "+")
triple1
((triple2) -> (rule4 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
((triple3) -> (rule2 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
((((triple3) -> (rule3 % int2))) -> (rule7 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is quiet.
("Anne" "is" "quiet" "+")
triple2
Anne is red.
("Anne" "is" "red" "+")
triple3
Dave is cold.
("Dave" "is" "cold" "+")
triple4
Dave is furry.
("Dave" "is" "furry" "+")
triple5
Dave is green.
("Dave" "is" "green" "+")
triple6
Fiona is cold.
("Fiona" "is" "cold" "+")
triple7
Fiona is furry.
("Fiona" "is" "furry" "+")
triple8
Fiona is green.
("Fiona" "is" "green" "+")
triple9
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple10
Fiona is red.
("Fiona" "is" "red" "+")
triple11
Fiona is rough.
("Fiona" "is" "rough" "+")
triple12
((triple11) -> (rule3 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
((((triple11) -> (rule2 % int2))) -> (rule1 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
((((triple8 triple9) -> (rule8 % int2))) -> (rule1 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
((triple1) -> (rule1 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
((triple3) -> (rule3 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
((((triple2) -> (rule4 % int2))) -> (rule1 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
((((triple3) -> (rule2 % int2))) -> (rule1 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
((triple5 triple6) -> (rule8 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
((triple11) -> (rule2 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
((triple12) -> (rule7 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
((triple8 triple9) -> (rule8 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
((((triple11) -> (rule3 % int2))) -> (rule7 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
((((triple5 triple6) -> (rule8 % int2))) -> (rule1 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2