Anne is red. Anne is rough. Anne is smart. Charlie is blue. Gary is rough. Harry is blue. Harry is not red. Red, quiet things are big. If Anne is smart then Anne is white.
Anne is red.
("Anne" "is" "red" "+")
Anne is rough.
("Anne" "is" "rough" "+")
Anne is smart.
("Anne" "is" "smart" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Harry is blue.
("Harry" "is" "blue" "+")
Harry is not red.
("Harry" "is" "red" "-")
Red, quiet things are big.
((("something" "is" "red" "+") ("something" "is" "quiet" "+")) -> ("something" "is" "big" "+"))
If Anne is smart then Anne is white.
((("Anne" "is" "smart" "+")) -> ("Anne" "is" "white" "+"))
Harry is not red.
True
1
proof
[(triple7)]
("Harry" "is" "red" "-")
triple7
Anne is not red.
False
1
inv-proof
[(triple1)]
("Anne" "is" "red" "-")
triple1
Anne is white.
True
2
proof
[(((triple3) -> rule2))]
("Anne" "is" "white" "+")
((triple3) -> (rule2 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is not white.
False
2
inv-proof
[(((triple3) -> rule2))]
("Anne" "is" "white" "-")
((triple3) -> (rule2 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Gary is not big.
Unknown
inv-rconc
[@1: Gary is big.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Gary" "is" "big" "-")
Harry is big.
Unknown
rconc
[@1: Harry is big.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Harry" "is" "big" "+")
Charlie is not red.
Unknown
inv-random
[@0: Charlie is red.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "red" "-")
Charlie is white.
Unknown
random
[@0: Charlie is white.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "white" "+")
@0: Anne is red.[(triple1)] Anne is rough.[(triple2)] Anne is smart.[(triple3)] Charlie is blue.[(triple4)] Gary is rough.[(triple5)] Harry is blue.[(triple6)] Harry is not red.[(triple7)] @1: Anne is white.[(((triple3) -> rule2))]
Anne is red.
("Anne" "is" "red" "+")
triple1
Anne is rough.
("Anne" "is" "rough" "+")
triple2
Anne is smart.
("Anne" "is" "smart" "+")
triple3
Charlie is blue.
("Charlie" "is" "blue" "+")
triple4
Gary is rough.
("Gary" "is" "rough" "+")
triple5
Harry is blue.
("Harry" "is" "blue" "+")
triple6
Harry is not red.
("Harry" "is" "red" "-")
triple7
Anne is white.
("Anne" "is" "white" "+")
((triple3) -> (rule2 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1