The squirrel is cold. Rough people are cold. If someone is round and not rough then they are red. If someone is cold and round then they are red. If the squirrel is round and the squirrel is red then the squirrel is cold. If the squirrel is blue and the squirrel is rough then the squirrel is not cold. If someone is blue then they are round. If someone is blue then they are round. Cold people are blue.
The squirrel is cold.
("squirrel" "is" "cold" "+")
Rough people are cold.
((("someone" "is" "rough" "+")) -> ("someone" "is" "cold" "+"))
If someone is round and not rough then they are red.
((("someone" "is" "round" "+") ("someone" "is" "rough" "~")) -> ("someone" "is" "red" "+"))
If someone is cold and round then they are red.
((("someone" "is" "cold" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "red" "+"))
If the squirrel is round and the squirrel is red then the squirrel is cold.
((("squirrel" "is" "round" "+") ("squirrel" "is" "red" "+")) -> ("squirrel" "is" "cold" "+"))
If the squirrel is blue and the squirrel is rough then the squirrel is not cold.
((("squirrel" "is" "blue" "+") ("squirrel" "is" "rough" "+")) -> ("squirrel" "is" "cold" "-"))
If someone is blue then they are round.
((("someone" "is" "blue" "+")) -> ("someone" "is" "round" "+"))
If someone is blue then they are round.
((("someone" "is" "blue" "+")) -> ("someone" "is" "round" "+"))
Cold people are blue.
((("someone" "is" "cold" "+")) -> ("someone" "is" "blue" "+"))
The squirrel is cold.
True
1
proof
[(triple1)]
("squirrel" "is" "cold" "+")
triple1
The squirrel is not cold.
False
1
inv-proof
[(triple1)]
("squirrel" "is" "cold" "-")
triple1
The squirrel is blue.
True
2
proof
[(((triple1) -> rule8))]
("squirrel" "is" "blue" "+")
((triple1) -> (rule8 % int1))
The squirrel is blue.
("squirrel" "is" "blue" "+")
int1
The squirrel is not blue.
False
2
inv-proof
[(((triple1) -> rule8))]
("squirrel" "is" "blue" "-")
((triple1) -> (rule8 % int1))
The squirrel is blue.
("squirrel" "is" "blue" "+")
int1
The squirrel is round.
True
3
proof
[(((((triple1) -> rule8)) -> rule6) OR ((((triple1) -> rule8)) -> rule7))]
("squirrel" "is" "round" "+")
((((triple1) -> (rule8 % int2))) -> (rule6 % int1))
The squirrel is round.
("squirrel" "is" "round" "+")
int1
The squirrel is blue.
("squirrel" "is" "blue" "+")
int2
((((triple1) -> (rule8 % int2))) -> (rule7 % int1))
The squirrel is round.
("squirrel" "is" "round" "+")
int1
The squirrel is blue.
("squirrel" "is" "blue" "+")
int2
The squirrel is not round.
False
3
inv-proof
[(((((triple1) -> rule8)) -> rule6) OR ((((triple1) -> rule8)) -> rule7))]
("squirrel" "is" "round" "-")
((((triple1) -> (rule8 % int2))) -> (rule6 % int1))
The squirrel is round.
("squirrel" "is" "round" "+")
int1
The squirrel is blue.
("squirrel" "is" "blue" "+")
int2
((((triple1) -> (rule8 % int2))) -> (rule7 % int1))
The squirrel is round.
("squirrel" "is" "round" "+")
int1
The squirrel is blue.
("squirrel" "is" "blue" "+")
int2
The squirrel is red.
True
5
proof
[(((triple1 ((((triple1) -> rule8)) -> rule6)) -> rule3) OR ((triple1 ((((triple1) -> rule8)) -> rule7)) -> rule3))]
("squirrel" "is" "red" "+")
((triple1 ((((triple1) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
The squirrel is red.
("squirrel" "is" "red" "+")
int1
The squirrel is round.
("squirrel" "is" "round" "+")
int2
The squirrel is blue.
("squirrel" "is" "blue" "+")
int3
((triple1 ((((triple1) -> (rule8 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
The squirrel is red.
("squirrel" "is" "red" "+")
int1
The squirrel is round.
("squirrel" "is" "round" "+")
int2
The squirrel is blue.
("squirrel" "is" "blue" "+")
int3
The squirrel is not red.
False
5
inv-proof
[(((triple1 ((((triple1) -> rule8)) -> rule6)) -> rule3) OR ((triple1 ((((triple1) -> rule8)) -> rule7)) -> rule3))]
("squirrel" "is" "red" "-")
((triple1 ((((triple1) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
The squirrel is red.
("squirrel" "is" "red" "+")
int1
The squirrel is round.
("squirrel" "is" "round" "+")
int2
The squirrel is blue.
("squirrel" "is" "blue" "+")
int3
((triple1 ((((triple1) -> (rule8 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
The squirrel is red.
("squirrel" "is" "red" "+")
int1
The squirrel is round.
("squirrel" "is" "round" "+")
int2
The squirrel is blue.
("squirrel" "is" "blue" "+")
int3
The squirrel does not chase the squirrel.
Unknown
inv-random
[@0: The squirrel chases the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "chases" "squirrel" "-")
The squirrel needs the squirrel.
Unknown
random
[@0: The squirrel needs the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "needs" "squirrel" "+")
The squirrel is not rough.
Unknown
inv-random
[@0: The squirrel is rough.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "rough" "-")
The squirrel likes the squirrel.
Unknown
random
[@0: The squirrel likes the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "likes" "squirrel" "+")
@0: The squirrel is cold.[(triple1)] @1: The squirrel is blue.[(((triple1) -> rule8))] @2: The squirrel is round.[(((((triple1) -> rule8)) -> rule6) OR ((((triple1) -> rule8)) -> rule7))] @3: The squirrel is red.[(((triple1 ((((triple1) -> rule8)) -> rule6)) -> rule3) OR ((triple1 ((((triple1) -> rule8)) -> rule7)) -> rule3))]
The squirrel is cold.
("squirrel" "is" "cold" "+")
triple1
The squirrel is blue.
("squirrel" "is" "blue" "+")
((triple1) -> (rule8 % int1))
The squirrel is blue.
("squirrel" "is" "blue" "+")
int1
The squirrel is round.
("squirrel" "is" "round" "+")
((((triple1) -> (rule8 % int2))) -> (rule6 % int1))
The squirrel is round.
("squirrel" "is" "round" "+")
int1
The squirrel is blue.
("squirrel" "is" "blue" "+")
int2
((((triple1) -> (rule8 % int2))) -> (rule7 % int1))
The squirrel is round.
("squirrel" "is" "round" "+")
int1
The squirrel is blue.
("squirrel" "is" "blue" "+")
int2
The squirrel is red.
("squirrel" "is" "red" "+")
((triple1 ((((triple1) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
The squirrel is red.
("squirrel" "is" "red" "+")
int1
The squirrel is round.
("squirrel" "is" "round" "+")
int2
The squirrel is blue.
("squirrel" "is" "blue" "+")
int3
((triple1 ((((triple1) -> (rule8 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
The squirrel is red.
("squirrel" "is" "red" "+")
int1
The squirrel is round.
("squirrel" "is" "round" "+")
int2
The squirrel is blue.
("squirrel" "is" "blue" "+")
int3