Anne is blue. Anne is cold. Anne is furry. Anne is green. Anne is quiet. Anne is round. Charlie is furry. Charlie is green. Charlie is quiet. Charlie is rough. If Charlie is cold and Charlie is rough then Charlie is round. All quiet people are cold.
Anne is blue.
("Anne" "is" "blue" "+")
Anne is cold.
("Anne" "is" "cold" "+")
Anne is furry.
("Anne" "is" "furry" "+")
Anne is green.
("Anne" "is" "green" "+")
Anne is quiet.
("Anne" "is" "quiet" "+")
Anne is round.
("Anne" "is" "round" "+")
Charlie is furry.
("Charlie" "is" "furry" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is quiet.
("Charlie" "is" "quiet" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
If Charlie is cold and Charlie is rough then Charlie is round.
((("Charlie" "is" "cold" "+") ("Charlie" "is" "rough" "+")) -> ("Charlie" "is" "round" "+"))
All quiet people are cold.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "cold" "+"))
Anne is blue.
True
1
proof
[(triple1)]
("Anne" "is" "blue" "+")
triple1
Charlie is not green.
False
1
inv-proof
[(triple8)]
("Charlie" "is" "green" "-")
triple8
Charlie is cold.
True
2
proof
[(((triple9) -> rule2))]
("Charlie" "is" "cold" "+")
((triple9) -> (rule2 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is not cold.
False
2
inv-proof
[(((triple9) -> rule2))]
("Charlie" "is" "cold" "-")
((triple9) -> (rule2 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is round.
True
4
proof
[(((((triple9) -> rule2) triple10) -> rule1))]
("Charlie" "is" "round" "+")
((((triple9) -> (rule2 % int2)) triple10) -> (rule1 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is not round.
False
4
inv-proof
[(((((triple9) -> rule2) triple10) -> rule1))]
("Charlie" "is" "round" "-")
((((triple9) -> (rule2 % int2)) triple10) -> (rule1 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is not blue.
Unknown
inv-random
[@0: Charlie is blue.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "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 cold.[(triple2 OR ((triple5) -> rule2))] Anne is furry.[(triple3)] Anne is green.[(triple4)] Anne is quiet.[(triple5)] Anne is round.[(triple6)] Charlie is furry.[(triple7)] Charlie is green.[(triple8)] Charlie is quiet.[(triple9)] Charlie is rough.[(triple10)] @1: Charlie is cold.[(((triple9) -> rule2))] @2: Charlie is round.[(((((triple9) -> rule2) triple10) -> rule1))]
Anne is blue.
("Anne" "is" "blue" "+")
triple1
Anne is cold.
("Anne" "is" "cold" "+")
triple2
((triple5) -> (rule2 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
triple3
Anne is green.
("Anne" "is" "green" "+")
triple4
Anne is quiet.
("Anne" "is" "quiet" "+")
triple5
Anne is round.
("Anne" "is" "round" "+")
triple6
Charlie is furry.
("Charlie" "is" "furry" "+")
triple7
Charlie is green.
("Charlie" "is" "green" "+")
triple8
Charlie is quiet.
("Charlie" "is" "quiet" "+")
triple9
Charlie is rough.
("Charlie" "is" "rough" "+")
triple10
Charlie is cold.
("Charlie" "is" "cold" "+")
((triple9) -> (rule2 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
((((triple9) -> (rule2 % int2)) triple10) -> (rule1 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2