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