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