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