Anne is green. Anne is kind. Anne is nice. Anne is smart. Dave is big. Dave is green. Dave is quiet. Dave is round. Fiona is big. Fiona is green. Fiona is kind. Fiona is nice. Fiona is quiet. Fiona is round. Fiona is smart. If Fiona is round and Fiona is quiet then Fiona is kind. Kind things are round. If something is round and green then it is kind. If something is kind then it is quiet. If Anne is big and Anne is round then Anne is green. All big, nice things are kind.
Anne is green.
("Anne" "is" "green" "+")
Anne is kind.
("Anne" "is" "kind" "+")
Anne is nice.
("Anne" "is" "nice" "+")
Anne is smart.
("Anne" "is" "smart" "+")
Dave is big.
("Dave" "is" "big" "+")
Dave is green.
("Dave" "is" "green" "+")
Dave is quiet.
("Dave" "is" "quiet" "+")
Dave is round.
("Dave" "is" "round" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
If Fiona is round and Fiona is quiet then Fiona is kind.
((("Fiona" "is" "round" "+") ("Fiona" "is" "quiet" "+")) -> ("Fiona" "is" "kind" "+"))
Kind things are round.
((("something" "is" "kind" "+")) -> ("something" "is" "round" "+"))
If something is round and green then it is kind.
((("something" "is" "round" "+") ("something" "is" "green" "+")) -> ("something" "is" "kind" "+"))
If something is kind then it is quiet.
((("something" "is" "kind" "+")) -> ("something" "is" "quiet" "+"))
If Anne is big and Anne is round then Anne is green.
((("Anne" "is" "big" "+") ("Anne" "is" "round" "+")) -> ("Anne" "is" "green" "+"))
All big, nice things are kind.
((("something" "is" "big" "+") ("something" "is" "nice" "+")) -> ("something" "is" "kind" "+"))
Anne is green.
True
1
proof
[(triple1)]
("Anne" "is" "green" "+")
triple1
Fiona is not round.
False
1
inv-proof
[(triple14 OR ((triple11) -> rule2) OR ((((triple9 triple12) -> rule6)) -> rule2))]
("Fiona" "is" "round" "-")
triple14
((triple11) -> (rule2 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
((((triple9 triple12) -> (rule6 % int2))) -> (rule2 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Dave is kind.
True
3
proof
[(((triple8 triple6) -> rule3))]
("Dave" "is" "kind" "+")
((triple8 triple6) -> (rule3 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is not kind.
False
3
inv-proof
[(((triple8 triple6) -> rule3))]
("Dave" "is" "kind" "-")
((triple8 triple6) -> (rule3 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Anne is not big.
Unknown
inv-random
[@0: Anne is big.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "big" "-")
Dave is smart.
Unknown
random
[@0: Dave is smart.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "smart" "+")
@0: Anne is green.[(triple1)] Anne is kind.[(triple2)] Anne is nice.[(triple3)] Anne is smart.[(triple4)] Dave is big.[(triple5)] Dave is green.[(triple6)] Dave is quiet.[(triple7 OR ((((triple8 triple6) -> rule3)) -> rule4))] Dave is round.[(triple8)] Fiona is big.[(triple9)] Fiona is green.[(triple10)] Fiona is kind.[(triple11 OR ((triple14 triple10) -> rule3) OR ((triple14 triple13) -> rule1) OR ((triple9 triple12) -> rule6))] Fiona is nice.[(triple12)] Fiona is quiet.[(triple13 OR ((triple11) -> rule4) OR ((((triple14 triple10) -> rule3)) -> rule4) OR ((((triple9 triple12) -> rule6)) -> rule4))] Fiona is round.[(triple14 OR ((triple11) -> rule2) OR ((((triple9 triple12) -> rule6)) -> rule2))] Fiona is smart.[(triple15)] @1: Anne is quiet.[(((triple2) -> rule4))] Anne is round.[(((triple2) -> rule2))] Dave is kind.[(((triple8 triple6) -> rule3))]
Anne is green.
("Anne" "is" "green" "+")
triple1
Anne is kind.
("Anne" "is" "kind" "+")
triple2
Anne is nice.
("Anne" "is" "nice" "+")
triple3
Anne is smart.
("Anne" "is" "smart" "+")
triple4
Dave is big.
("Dave" "is" "big" "+")
triple5
Dave is green.
("Dave" "is" "green" "+")
triple6
Dave is quiet.
("Dave" "is" "quiet" "+")
triple7
((((triple8 triple6) -> (rule3 % int2))) -> (rule4 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
triple8
Fiona is big.
("Fiona" "is" "big" "+")
triple9
Fiona is green.
("Fiona" "is" "green" "+")
triple10
Fiona is kind.
("Fiona" "is" "kind" "+")
triple11
((triple14 triple10) -> (rule3 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
((triple14 triple13) -> (rule1 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
((triple9 triple12) -> (rule6 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
triple12
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple13
((triple11) -> (rule4 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
((((triple14 triple10) -> (rule3 % int2))) -> (rule4 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
((((triple9 triple12) -> (rule6 % int2))) -> (rule4 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
triple14
((triple11) -> (rule2 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
((((triple9 triple12) -> (rule6 % int2))) -> (rule2 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
triple15
Anne is quiet.
("Anne" "is" "quiet" "+")
((triple2) -> (rule4 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
((triple2) -> (rule2 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
((triple8 triple6) -> (rule3 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1