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