Anne is red. Anne is round. Anne is young. Charlie is kind. Charlie is rough. Gary is blue. Gary is red. Gary is rough. Gary is round. Gary is white. All young, rough people are blue. If Anne is white and Anne is young then Anne is round. Rough, young people are blue. Rough people are round. If someone is red and round then they are rough. Red, round people are blue.
Anne is red.
("Anne" "is" "red" "+")
Anne is round.
("Anne" "is" "round" "+")
Anne is young.
("Anne" "is" "young" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is white.
("Gary" "is" "white" "+")
All young, rough people are blue.
((("someone" "is" "young" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "blue" "+"))
If Anne is white and Anne is young then Anne is round.
((("Anne" "is" "white" "+") ("Anne" "is" "young" "+")) -> ("Anne" "is" "round" "+"))
Rough, young people are blue.
((("someone" "is" "rough" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "blue" "+"))
Rough people are round.
((("someone" "is" "rough" "+")) -> ("someone" "is" "round" "+"))
If someone is red and round then they are rough.
((("someone" "is" "red" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "rough" "+"))
Red, round people are blue.
((("someone" "is" "red" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "blue" "+"))
Gary is white.
True
1
proof
[(triple10)]
("Gary" "is" "white" "+")
triple10
Anne is not young.
False
1
inv-proof
[(triple3)]
("Anne" "is" "young" "-")
triple3
Anne is rough.
True
3
proof
[(((triple1 triple2) -> rule5))]
("Anne" "is" "rough" "+")
((triple1 triple2) -> (rule5 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is not blue.
False
3
inv-proof
[(((triple1 triple2) -> rule6) OR ((triple3 ((triple1 triple2) -> rule5)) -> rule1) OR ((((triple1 triple2) -> rule5) triple3) -> rule3))]
("Anne" "is" "blue" "-")
((triple1 triple2) -> (rule6 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
((triple3 ((triple1 triple2) -> (rule5 % int2))) -> (rule1 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
((((triple1 triple2) -> (rule5 % int2)) triple3) -> (rule3 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Charlie is not blue.
Unknown
inv-rconc
[@1: Charlie is blue.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Charlie" "is" "blue" "-")
Charlie is young.
Unknown
random
[@0: Charlie is young.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "young" "+")
Charlie is not red.
Unknown
inv-random
[@0: Charlie is red.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "red" "-")
Anne is kind.
Unknown
random
[@0: Anne is kind.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "kind" "+")
@0: Anne is red.[(triple1)] Anne is round.[(triple2)] Anne is young.[(triple3)] Charlie is kind.[(triple4)] Charlie is rough.[(triple5)] Gary is blue.[(triple6 OR ((triple7 triple9) -> rule6) OR ((triple7 ((triple8) -> rule4)) -> rule6))] Gary is red.[(triple7)] Gary is rough.[(triple8 OR ((triple7 triple9) -> rule5))] Gary is round.[(triple9 OR ((triple8) -> rule4))] Gary is white.[(triple10)] @1: Anne is blue.[(((triple1 triple2) -> rule6) OR ((triple3 ((triple1 triple2) -> rule5)) -> rule1) OR ((((triple1 triple2) -> rule5) triple3) -> rule3))] Anne is rough.[(((triple1 triple2) -> rule5))] Charlie is round.[(((triple5) -> rule4))]
Anne is red.
("Anne" "is" "red" "+")
triple1
Anne is round.
("Anne" "is" "round" "+")
triple2
Anne is young.
("Anne" "is" "young" "+")
triple3
Charlie is kind.
("Charlie" "is" "kind" "+")
triple4
Charlie is rough.
("Charlie" "is" "rough" "+")
triple5
Gary is blue.
("Gary" "is" "blue" "+")
triple6
((triple7 triple9) -> (rule6 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
((triple7 ((triple8) -> (rule4 % int2))) -> (rule6 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
triple7
Gary is rough.
("Gary" "is" "rough" "+")
triple8
((triple7 triple9) -> (rule5 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
triple9
((triple8) -> (rule4 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
triple10
Anne is blue.
("Anne" "is" "blue" "+")
((triple1 triple2) -> (rule6 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
((triple3 ((triple1 triple2) -> (rule5 % int2))) -> (rule1 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
((((triple1 triple2) -> (rule5 % int2)) triple3) -> (rule3 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
((triple1 triple2) -> (rule5 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
((triple5) -> (rule4 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1