Anne is not green. Charlie is cold. Charlie is red. Fiona is furry. Fiona is quiet. Fiona is red. Fiona is rough. Gary is cold. Gary is furry. Gary is rough. If Gary is quiet then Gary is red. All cold things are not green. If Fiona is quiet and Fiona is not furry then Fiona is green. If something is furry and not green then it is not round. If something is quiet and green then it is round. If something is rough and not round then it is red.
Anne is not green.
("Anne" "is" "green" "-")
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is rough.
("Gary" "is" "rough" "+")
If Gary is quiet then Gary is red.
((("Gary" "is" "quiet" "+")) -> ("Gary" "is" "red" "+"))
All cold things are not green.
((("something" "is" "cold" "+")) -> ("something" "is" "green" "-"))
If Fiona is quiet and Fiona is not furry then Fiona is green.
((("Fiona" "is" "quiet" "+") ("Fiona" "is" "furry" "~")) -> ("Fiona" "is" "green" "+"))
If something is furry and not green then it is not round.
((("something" "is" "furry" "+") ("something" "is" "green" "~")) -> ("something" "is" "round" "-"))
If something is quiet and green then it is round.
((("something" "is" "quiet" "+") ("something" "is" "green" "+")) -> ("something" "is" "round" "+"))
If something is rough and not round then it is red.
((("something" "is" "rough" "+") ("something" "is" "round" "~")) -> ("something" "is" "red" "+"))
Gary is cold.
True
1
proof
[(triple8)]
("Gary" "is" "cold" "+")
triple8
Gary is not furry.
False
1
inv-proof
[(triple9)]
("Gary" "is" "furry" "-")
triple9
Gary is not green.
True
2
proof
[(((triple8) -> rule2))]
("Gary" "is" "green" "-")
((triple8) -> (rule2 % int1))
Gary is not green.
("Gary" "is" "green" "-")
int1
Charlie is green.
False
2
inv-proof
[(((triple2) -> rule2))]
("Charlie" "is" "green" "+")
((triple2) -> (rule2 % int1))
Charlie is not green.
("Charlie" "is" "green" "-")
int1
Gary is not round.
True
4
proof
[(((triple9 ((triple8) -> rule2)) -> rule4))]
("Gary" "is" "round" "-")
((triple9 ((triple8) -> (rule2 % int2))) -> (rule4 % int1))
Gary is not round.
("Gary" "is" "round" "-")
int1
Gary is not green.
("Gary" "is" "green" "-")
int2
Gary is round.
False
4
inv-proof
[(((triple9 ((triple8) -> rule2)) -> rule4))]
("Gary" "is" "round" "+")
((triple9 ((triple8) -> (rule2 % int2))) -> (rule4 % int1))
Gary is not round.
("Gary" "is" "round" "-")
int1
Gary is not green.
("Gary" "is" "green" "-")
int2
Anne is not red.
Unknown
inv-rconc
[@1: Anne is red.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Anne" "is" "red" "-")
Anne is round.
Unknown
rconc
[@1: Anne is round.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Anne" "is" "round" "+")
Charlie is not round.
Unknown
inv-rconc
[@1: Charlie is round.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Charlie" "is" "round" "-")
Charlie is furry.
Unknown
random
[@0: Charlie is furry.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "furry" "+")
Charlie is not quiet.
Unknown
inv-random
[@0: Charlie is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "quiet" "-")
Fiona is cold.
Unknown
random
[@0: Fiona is cold.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "cold" "+")
@0: Anne is not green.[(triple1)] Charlie is cold.[(triple2)] Charlie is red.[(triple3)] Fiona is furry.[(triple4)] Fiona is quiet.[(triple5)] Fiona is red.[(triple6)] Fiona is rough.[(triple7)] Gary is cold.[(triple8)] Gary is furry.[(triple9)] Gary is rough.[(triple10)] @1: Charlie is not green.[(((triple2) -> rule2))] Gary is not green.[(((triple8) -> rule2))] @2: Gary is not round.[(((triple9 ((triple8) -> rule2)) -> rule4))] @3: Gary is red.[(((triple10 ((triple9 ((triple8) -> rule2)) -> rule4)) -> rule6))]
Anne is not green.
("Anne" "is" "green" "-")
triple1
Charlie is cold.
("Charlie" "is" "cold" "+")
triple2
Charlie is red.
("Charlie" "is" "red" "+")
triple3
Fiona is furry.
("Fiona" "is" "furry" "+")
triple4
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple5
Fiona is red.
("Fiona" "is" "red" "+")
triple6
Fiona is rough.
("Fiona" "is" "rough" "+")
triple7
Gary is cold.
("Gary" "is" "cold" "+")
triple8
Gary is furry.
("Gary" "is" "furry" "+")
triple9
Gary is rough.
("Gary" "is" "rough" "+")
triple10
Charlie is not green.
("Charlie" "is" "green" "-")
((triple2) -> (rule2 % int1))
Charlie is not green.
("Charlie" "is" "green" "-")
int1
Gary is not green.
("Gary" "is" "green" "-")
((triple8) -> (rule2 % int1))
Gary is not green.
("Gary" "is" "green" "-")
int1
Gary is not round.
("Gary" "is" "round" "-")
((triple9 ((triple8) -> (rule2 % int2))) -> (rule4 % int1))
Gary is not round.
("Gary" "is" "round" "-")
int1
Gary is not green.
("Gary" "is" "green" "-")
int2
Gary is red.
("Gary" "is" "red" "+")
((triple10 ((triple9 ((triple8) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is not round.
("Gary" "is" "round" "-")
int2
Gary is not green.
("Gary" "is" "green" "-")
int3