Anne is big. Anne is blue. Anne is furry. Anne is round. Anne is not young. Dave is big. Dave is blue. Dave is cold. Dave is furry. Dave is nice. Dave is round. Dave is not young. Gary is big. Gary is blue. Gary is cold. Gary is round. If someone is cold then they are round. All round people are blue. If someone is cold and not round then they are young. If someone is cold and furry then they are not young. If someone is young and not blue then they are furry. Big people are furry.
Anne is big.
("Anne" "is" "big" "+")
Anne is blue.
("Anne" "is" "blue" "+")
Anne is furry.
("Anne" "is" "furry" "+")
Anne is round.
("Anne" "is" "round" "+")
Anne is not young.
("Anne" "is" "young" "-")
Dave is big.
("Dave" "is" "big" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Dave is furry.
("Dave" "is" "furry" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Dave is round.
("Dave" "is" "round" "+")
Dave is not young.
("Dave" "is" "young" "-")
Gary is big.
("Gary" "is" "big" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is round.
("Gary" "is" "round" "+")
If someone is cold then they are round.
((("someone" "is" "cold" "+")) -> ("someone" "is" "round" "+"))
All round people are blue.
((("someone" "is" "round" "+")) -> ("someone" "is" "blue" "+"))
If someone is cold and not round then they are young.
((("someone" "is" "cold" "+") ("someone" "is" "round" "~")) -> ("someone" "is" "young" "+"))
If someone is cold and furry then they are not young.
((("someone" "is" "cold" "+") ("someone" "is" "furry" "+")) -> ("someone" "is" "young" "-"))
If someone is young and not blue then they are furry.
((("someone" "is" "young" "+") ("someone" "is" "blue" "~")) -> ("someone" "is" "furry" "+"))
Big people are furry.
((("someone" "is" "big" "+")) -> ("someone" "is" "furry" "+"))
Gary is big.
True
1
proof
[(triple13)]
("Gary" "is" "big" "+")
triple13
Gary is not blue.
False
1
inv-proof
[(triple14 OR ((triple16) -> rule2) OR ((((triple15) -> rule1)) -> rule2))]
("Gary" "is" "blue" "-")
triple14
((triple16) -> (rule2 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
((((triple15) -> (rule1 % int2))) -> (rule2 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is furry.
True
2
proof
[(((triple13) -> rule6))]
("Gary" "is" "furry" "+")
((triple13) -> (rule6 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is not furry.
False
2
inv-proof
[(((triple13) -> rule6))]
("Gary" "is" "furry" "-")
((triple13) -> (rule6 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is not young.
True
4
proof
[(((triple15 ((triple13) -> rule6)) -> rule4))]
("Gary" "is" "young" "-")
((triple15 ((triple13) -> (rule6 % int2))) -> (rule4 % int1))
Gary is not young.
("Gary" "is" "young" "-")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is young.
False
4
inv-proof
[(((triple15 ((triple13) -> rule6)) -> rule4))]
("Gary" "is" "young" "+")
((triple15 ((triple13) -> (rule6 % int2))) -> (rule4 % int1))
Gary is not young.
("Gary" "is" "young" "-")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Anne is not cold.
Unknown
inv-random
[@0: Anne is cold.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "cold" "-")
Anne is nice.
Unknown
random
[@0: Anne is nice.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "nice" "+")
@0: Anne is big.[(triple1)] Anne is blue.[(triple2 OR ((triple4) -> rule2))] Anne is furry.[(triple3 OR ((triple1) -> rule6))] Anne is not young.[(triple5)] Anne is round.[(triple4)] Dave is big.[(triple6)] Dave is blue.[(triple7 OR ((triple11) -> rule2) OR ((((triple8) -> rule1)) -> rule2))] Dave is cold.[(triple8)] Dave is furry.[(triple9 OR ((triple6) -> rule6))] Dave is nice.[(triple10)] Dave is not young.[(triple12 OR ((triple8 triple9) -> rule4) OR ((triple8 ((triple6) -> rule6)) -> rule4))] Dave is round.[(triple11 OR ((triple8) -> rule1))] Gary is big.[(triple13)] Gary is blue.[(triple14 OR ((triple16) -> rule2) OR ((((triple15) -> rule1)) -> rule2))] Gary is cold.[(triple15)] Gary is round.[(triple16 OR ((triple15) -> rule1))] @1: Gary is furry.[(((triple13) -> rule6))] @2: Gary is not young.[(((triple15 ((triple13) -> rule6)) -> rule4))]
Anne is big.
("Anne" "is" "big" "+")
triple1
Anne is blue.
("Anne" "is" "blue" "+")
triple2
((triple4) -> (rule2 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
triple3
((triple1) -> (rule6 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is not young.
("Anne" "is" "young" "-")
triple5
Anne is round.
("Anne" "is" "round" "+")
triple4
Dave is big.
("Dave" "is" "big" "+")
triple6
Dave is blue.
("Dave" "is" "blue" "+")
triple7
((triple11) -> (rule2 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
((((triple8) -> (rule1 % int2))) -> (rule2 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
triple8
Dave is furry.
("Dave" "is" "furry" "+")
triple9
((triple6) -> (rule6 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
triple10
Dave is not young.
("Dave" "is" "young" "-")
triple12
((triple8 triple9) -> (rule4 % int1))
Dave is not young.
("Dave" "is" "young" "-")
int1
((triple8 ((triple6) -> (rule6 % int2))) -> (rule4 % int1))
Dave is not young.
("Dave" "is" "young" "-")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
triple11
((triple8) -> (rule1 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
triple13
Gary is blue.
("Gary" "is" "blue" "+")
triple14
((triple16) -> (rule2 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
((((triple15) -> (rule1 % int2))) -> (rule2 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
triple15
Gary is round.
("Gary" "is" "round" "+")
triple16
((triple15) -> (rule1 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
((triple13) -> (rule6 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is not young.
("Gary" "is" "young" "-")
((triple15 ((triple13) -> (rule6 % int2))) -> (rule4 % int1))
Gary is not young.
("Gary" "is" "young" "-")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2