Anne is big. Anne is red. Anne is young. Dave is big. Dave is cold. Dave is furry. Dave is green. Dave is white. Dave is young. Fiona is big. Fiona is cold. Fiona is furry. Fiona is green. Fiona is red. Fiona is white. Fiona is young. Green, red people are white. Red, young people are green.
Anne is big.
("Anne" "is" "big" "+")
Anne is red.
("Anne" "is" "red" "+")
Anne is young.
("Anne" "is" "young" "+")
Dave is big.
("Dave" "is" "big" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Dave is furry.
("Dave" "is" "furry" "+")
Dave is green.
("Dave" "is" "green" "+")
Dave is white.
("Dave" "is" "white" "+")
Dave is young.
("Dave" "is" "young" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is white.
("Fiona" "is" "white" "+")
Fiona is young.
("Fiona" "is" "young" "+")
Green, red people are white.
((("someone" "is" "green" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "white" "+"))
Red, young people are green.
((("someone" "is" "red" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "green" "+"))
Dave is young.
True
1
proof
[(triple9)]
("Dave" "is" "young" "+")
triple9
Dave is not white.
False
1
inv-proof
[(triple8)]
("Dave" "is" "white" "-")
triple8
Anne is green.
True
3
proof
[(((triple2 triple3) -> rule2))]
("Anne" "is" "green" "+")
((triple2 triple3) -> (rule2 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is not green.
False
3
inv-proof
[(((triple2 triple3) -> rule2))]
("Anne" "is" "green" "-")
((triple2 triple3) -> (rule2 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is not cold.
Unknown
inv-random
[@0: Anne is cold.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "cold" "-")
Dave is red.
Unknown
random
[@0: Dave is red.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "red" "+")
@0: Anne is big.[(triple1)] Anne is red.[(triple2)] Anne is young.[(triple3)] Dave is big.[(triple4)] Dave is cold.[(triple5)] Dave is furry.[(triple6)] Dave is green.[(triple7)] Dave is white.[(triple8)] Dave is young.[(triple9)] Fiona is big.[(triple10)] Fiona is cold.[(triple11)] Fiona is furry.[(triple12)] Fiona is green.[(triple13 OR ((triple14 triple16) -> rule2))] Fiona is red.[(triple14)] Fiona is white.[(triple15 OR ((triple13 triple14) -> rule1) OR ((((triple14 triple16) -> rule2) triple14) -> rule1))] Fiona is young.[(triple16)] @1: Anne is green.[(((triple2 triple3) -> rule2))] @2: Anne is white.[(((((triple2 triple3) -> rule2) triple2) -> rule1))]
Anne is big.
("Anne" "is" "big" "+")
triple1
Anne is red.
("Anne" "is" "red" "+")
triple2
Anne is young.
("Anne" "is" "young" "+")
triple3
Dave is big.
("Dave" "is" "big" "+")
triple4
Dave is cold.
("Dave" "is" "cold" "+")
triple5
Dave is furry.
("Dave" "is" "furry" "+")
triple6
Dave is green.
("Dave" "is" "green" "+")
triple7
Dave is white.
("Dave" "is" "white" "+")
triple8
Dave is young.
("Dave" "is" "young" "+")
triple9
Fiona is big.
("Fiona" "is" "big" "+")
triple10
Fiona is cold.
("Fiona" "is" "cold" "+")
triple11
Fiona is furry.
("Fiona" "is" "furry" "+")
triple12
Fiona is green.
("Fiona" "is" "green" "+")
triple13
((triple14 triple16) -> (rule2 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
triple14
Fiona is white.
("Fiona" "is" "white" "+")
triple15
((triple13 triple14) -> (rule1 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
((((triple14 triple16) -> (rule2 % int2)) triple14) -> (rule1 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
triple16
Anne is green.
("Anne" "is" "green" "+")
((triple2 triple3) -> (rule2 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
((((triple2 triple3) -> (rule2 % int2)) triple2) -> (rule1 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2