Anne is big. Anne is cold. Anne is furry. Anne is green. Anne is quiet. Anne is round. Anne is white. Charlie is big. Charlie is furry. Charlie is green. Charlie is round. Charlie is white. Gary is big. Gary is cold. Gary is green. Gary is quiet. All round, cold things are furry. If something is big and green then it is round. If something is white and cold then it is furry.
Anne is big.
("Anne" "is" "big" "+")
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" "+")
Anne is white.
("Anne" "is" "white" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Charlie is furry.
("Charlie" "is" "furry" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is white.
("Charlie" "is" "white" "+")
Gary is big.
("Gary" "is" "big" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
All round, cold things are furry.
((("something" "is" "round" "+") ("something" "is" "cold" "+")) -> ("something" "is" "furry" "+"))
If something is big and green then it is round.
((("something" "is" "big" "+") ("something" "is" "green" "+")) -> ("something" "is" "round" "+"))
If something is white and cold then it is furry.
((("something" "is" "white" "+") ("something" "is" "cold" "+")) -> ("something" "is" "furry" "+"))
Charlie is furry.
True
1
proof
[(triple9)]
("Charlie" "is" "furry" "+")
triple9
Anne is not round.
False
1
inv-proof
[(triple6 OR ((triple1 triple4) -> rule2))]
("Anne" "is" "round" "-")
triple6
((triple1 triple4) -> (rule2 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Gary is round.
True
3
proof
[(((triple13 triple15) -> rule2))]
("Gary" "is" "round" "+")
((triple13 triple15) -> (rule2 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is not round.
False
3
inv-proof
[(((triple13 triple15) -> rule2))]
("Gary" "is" "round" "-")
((triple13 triple15) -> (rule2 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is furry.
True
5
proof
[(((((triple13 triple15) -> rule2) triple14) -> rule1))]
("Gary" "is" "furry" "+")
((((triple13 triple15) -> (rule2 % int2)) triple14) -> (rule1 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is not furry.
False
5
inv-proof
[(((((triple13 triple15) -> rule2) triple14) -> rule1))]
("Gary" "is" "furry" "-")
((((triple13 triple15) -> (rule2 % int2)) triple14) -> (rule1 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Charlie is not cold.
Unknown
inv-random
[@0: Charlie is cold.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "cold" "-")
Charlie is quiet.
Unknown
random
[@0: Charlie is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "quiet" "+")
@0: Anne is big.[(triple1)] Anne is cold.[(triple2)] Anne is furry.[(triple3 OR ((triple6 triple2) -> rule1) OR ((triple7 triple2) -> rule3) OR ((((triple1 triple4) -> rule2) triple2) -> rule1))] Anne is green.[(triple4)] Anne is quiet.[(triple5)] Anne is round.[(triple6 OR ((triple1 triple4) -> rule2))] Anne is white.[(triple7)] Charlie is big.[(triple8)] Charlie is furry.[(triple9)] Charlie is green.[(triple10)] Charlie is round.[(triple11 OR ((triple8 triple10) -> rule2))] Charlie is white.[(triple12)] Gary is big.[(triple13)] Gary is cold.[(triple14)] Gary is green.[(triple15)] Gary is quiet.[(triple16)] @1: Gary is round.[(((triple13 triple15) -> rule2))] @2: Gary is furry.[(((((triple13 triple15) -> rule2) triple14) -> rule1))]
Anne is big.
("Anne" "is" "big" "+")
triple1
Anne is cold.
("Anne" "is" "cold" "+")
triple2
Anne is furry.
("Anne" "is" "furry" "+")
triple3
((triple6 triple2) -> (rule1 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
((triple7 triple2) -> (rule3 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
((((triple1 triple4) -> (rule2 % int2)) triple2) -> (rule1 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is green.
("Anne" "is" "green" "+")
triple4
Anne is quiet.
("Anne" "is" "quiet" "+")
triple5
Anne is round.
("Anne" "is" "round" "+")
triple6
((triple1 triple4) -> (rule2 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
triple7
Charlie is big.
("Charlie" "is" "big" "+")
triple8
Charlie is furry.
("Charlie" "is" "furry" "+")
triple9
Charlie is green.
("Charlie" "is" "green" "+")
triple10
Charlie is round.
("Charlie" "is" "round" "+")
triple11
((triple8 triple10) -> (rule2 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
triple12
Gary is big.
("Gary" "is" "big" "+")
triple13
Gary is cold.
("Gary" "is" "cold" "+")
triple14
Gary is green.
("Gary" "is" "green" "+")
triple15
Gary is quiet.
("Gary" "is" "quiet" "+")
triple16
Gary is round.
("Gary" "is" "round" "+")
((triple13 triple15) -> (rule2 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
((((triple13 triple15) -> (rule2 % int2)) triple14) -> (rule1 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2