The squirrel is cold. Big, rough things are red. If the squirrel is cold then the squirrel is red. All big, round things are rough. If something is round then it is big. All rough things are big. All red things are big. If something is cold and big then it is rough. Round things are big.
The squirrel is cold.
("squirrel" "is" "cold" "+")
Big, rough things are red.
((("something" "is" "big" "+") ("something" "is" "rough" "+")) -> ("something" "is" "red" "+"))
If the squirrel is cold then the squirrel is red.
((("squirrel" "is" "cold" "+")) -> ("squirrel" "is" "red" "+"))
All big, round things are rough.
((("something" "is" "big" "+") ("something" "is" "round" "+")) -> ("something" "is" "rough" "+"))
If something is round then it is big.
((("something" "is" "round" "+")) -> ("something" "is" "big" "+"))
All rough things are big.
((("something" "is" "rough" "+")) -> ("something" "is" "big" "+"))
All red things are big.
((("something" "is" "red" "+")) -> ("something" "is" "big" "+"))
If something is cold and big then it is rough.
((("something" "is" "cold" "+") ("something" "is" "big" "+")) -> ("something" "is" "rough" "+"))
Round things are big.
((("something" "is" "round" "+")) -> ("something" "is" "big" "+"))
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 red.
True
2
proof
[(((triple1) -> rule2))]
("squirrel" "is" "red" "+")
((triple1) -> (rule2 % int1))
The squirrel is red.
("squirrel" "is" "red" "+")
int1
The squirrel is not red.
False
2
inv-proof
[(((triple1) -> rule2))]
("squirrel" "is" "red" "-")
((triple1) -> (rule2 % int1))
The squirrel is red.
("squirrel" "is" "red" "+")
int1
The squirrel is big.
True
3
proof
[(((((triple1) -> rule2)) -> rule6))]
("squirrel" "is" "big" "+")
((((triple1) -> (rule2 % int2))) -> (rule6 % int1))
The squirrel is big.
("squirrel" "is" "big" "+")
int1
The squirrel is red.
("squirrel" "is" "red" "+")
int2
The squirrel is not big.
False
3
inv-proof
[(((((triple1) -> rule2)) -> rule6))]
("squirrel" "is" "big" "-")
((((triple1) -> (rule2 % int2))) -> (rule6 % int1))
The squirrel is big.
("squirrel" "is" "big" "+")
int1
The squirrel is red.
("squirrel" "is" "red" "+")
int2
The squirrel is rough.
True
5
proof
[(((triple1 ((((triple1) -> rule2)) -> rule6)) -> rule7))]
("squirrel" "is" "rough" "+")
((triple1 ((((triple1) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
The squirrel is rough.
("squirrel" "is" "rough" "+")
int1
The squirrel is big.
("squirrel" "is" "big" "+")
int2
The squirrel is red.
("squirrel" "is" "red" "+")
int3
The squirrel is not rough.
False
5
inv-proof
[(((triple1 ((((triple1) -> rule2)) -> rule6)) -> rule7))]
("squirrel" "is" "rough" "-")
((triple1 ((((triple1) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
The squirrel is rough.
("squirrel" "is" "rough" "+")
int1
The squirrel is big.
("squirrel" "is" "big" "+")
int2
The squirrel is red.
("squirrel" "is" "red" "+")
int3
The squirrel does not need the squirrel.
Unknown
inv-random
[@0: The squirrel needs the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "needs" "squirrel" "-")
The squirrel eats the squirrel.
Unknown
random
[@0: The squirrel eats the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "eats" "squirrel" "+")
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 is round.
Unknown
random
[@0: The squirrel is round.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "round" "+")
@0: The squirrel is cold.[(triple1)] @1: The squirrel is red.[(((triple1) -> rule2))] @2: The squirrel is big.[(((((triple1) -> rule2)) -> rule6))] @3: The squirrel is rough.[(((triple1 ((((triple1) -> rule2)) -> rule6)) -> rule7))]
The squirrel is cold.
("squirrel" "is" "cold" "+")
triple1
The squirrel is red.
("squirrel" "is" "red" "+")
((triple1) -> (rule2 % int1))
The squirrel is red.
("squirrel" "is" "red" "+")
int1
The squirrel is big.
("squirrel" "is" "big" "+")
((((triple1) -> (rule2 % int2))) -> (rule6 % int1))
The squirrel is big.
("squirrel" "is" "big" "+")
int1
The squirrel is red.
("squirrel" "is" "red" "+")
int2
The squirrel is rough.
("squirrel" "is" "rough" "+")
((triple1 ((((triple1) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
The squirrel is rough.
("squirrel" "is" "rough" "+")
int1
The squirrel is big.
("squirrel" "is" "big" "+")
int2
The squirrel is red.
("squirrel" "is" "red" "+")
int3