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