Anne is blue. Anne is red. Anne is rough. Anne is smart. Anne is white. Anne is young. Dave is blue. Dave is rough. Dave is smart. Dave is young. Erin is big. Erin is blue. Erin is red. Erin is rough. Erin is young. If someone is smart and blue then they are red.
Anne is blue.
("Anne" "is" "blue" "+")
Anne is red.
("Anne" "is" "red" "+")
Anne is rough.
("Anne" "is" "rough" "+")
Anne is smart.
("Anne" "is" "smart" "+")
Anne is white.
("Anne" "is" "white" "+")
Anne is young.
("Anne" "is" "young" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is smart.
("Dave" "is" "smart" "+")
Dave is young.
("Dave" "is" "young" "+")
Erin is big.
("Erin" "is" "big" "+")
Erin is blue.
("Erin" "is" "blue" "+")
Erin is red.
("Erin" "is" "red" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Erin is young.
("Erin" "is" "young" "+")
If someone is smart and blue then they are red.
((("someone" "is" "smart" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "red" "+"))
Dave is young.
True
1
proof
[(triple10)]
("Dave" "is" "young" "+")
triple10
Anne is not blue.
False
1
inv-proof
[(triple1)]
("Anne" "is" "blue" "-")
triple1
Dave is red.
True
3
proof
[(((triple9 triple7) -> rule1))]
("Dave" "is" "red" "+")
((triple9 triple7) -> (rule1 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is not red.
False
3
inv-proof
[(((triple9 triple7) -> rule1))]
("Dave" "is" "red" "-")
((triple9 triple7) -> (rule1 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is not big.
Unknown
inv-random
[@0: Dave is big.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "big" "-")
Anne is big.
Unknown
random
[@0: Anne is big.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "big" "+")
Erin is not smart.
Unknown
inv-random
[@0: Erin is smart.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "smart" "-")
Erin is white.
Unknown
random
[@0: Erin is white.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "white" "+")
@0: Anne is blue.[(triple1)] Anne is red.[(triple2 OR ((triple4 triple1) -> rule1))] Anne is rough.[(triple3)] Anne is smart.[(triple4)] Anne is white.[(triple5)] Anne is young.[(triple6)] Dave is blue.[(triple7)] Dave is rough.[(triple8)] Dave is smart.[(triple9)] Dave is young.[(triple10)] Erin is big.[(triple11)] Erin is blue.[(triple12)] Erin is red.[(triple13)] Erin is rough.[(triple14)] Erin is young.[(triple15)] @1: Dave is red.[(((triple9 triple7) -> rule1))]
Anne is blue.
("Anne" "is" "blue" "+")
triple1
Anne is red.
("Anne" "is" "red" "+")
triple2
((triple4 triple1) -> (rule1 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
triple3
Anne is smart.
("Anne" "is" "smart" "+")
triple4
Anne is white.
("Anne" "is" "white" "+")
triple5
Anne is young.
("Anne" "is" "young" "+")
triple6
Dave is blue.
("Dave" "is" "blue" "+")
triple7
Dave is rough.
("Dave" "is" "rough" "+")
triple8
Dave is smart.
("Dave" "is" "smart" "+")
triple9
Dave is young.
("Dave" "is" "young" "+")
triple10
Erin is big.
("Erin" "is" "big" "+")
triple11
Erin is blue.
("Erin" "is" "blue" "+")
triple12
Erin is red.
("Erin" "is" "red" "+")
triple13
Erin is rough.
("Erin" "is" "rough" "+")
triple14
Erin is young.
("Erin" "is" "young" "+")
triple15
Dave is red.
("Dave" "is" "red" "+")
((triple9 triple7) -> (rule1 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1