The squirrel is cold. If something is blue then it is round. If the squirrel is round then the squirrel is big. All cold things are round.
The squirrel is cold.
("squirrel" "is" "cold" "+")
If something is blue then it is round.
((("something" "is" "blue" "+")) -> ("something" "is" "round" "+"))
If the squirrel is round then the squirrel is big.
((("squirrel" "is" "round" "+")) -> ("squirrel" "is" "big" "+"))
All cold things are round.
((("something" "is" "cold" "+")) -> ("something" "is" "round" "+"))
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 round.
True
2
proof
[(((triple1) -> rule3))]
("squirrel" "is" "round" "+")
((triple1) -> (rule3 % int1))
The squirrel is round.
("squirrel" "is" "round" "+")
int1
The squirrel is not round.
False
2
inv-proof
[(((triple1) -> rule3))]
("squirrel" "is" "round" "-")
((triple1) -> (rule3 % int1))
The squirrel is round.
("squirrel" "is" "round" "+")
int1
The squirrel is big.
True
3
proof
[(((((triple1) -> rule3)) -> rule2))]
("squirrel" "is" "big" "+")
((((triple1) -> (rule3 % int2))) -> (rule2 % int1))
The squirrel is big.
("squirrel" "is" "big" "+")
int1
The squirrel is round.
("squirrel" "is" "round" "+")
int2
The squirrel is not big.
False
3
inv-proof
[(((((triple1) -> rule3)) -> rule2))]
("squirrel" "is" "big" "-")
((((triple1) -> (rule3 % int2))) -> (rule2 % int1))
The squirrel is big.
("squirrel" "is" "big" "+")
int1
The squirrel is round.
("squirrel" "is" "round" "+")
int2
The squirrel does not visit the squirrel.
Unknown
inv-random
[@0: The squirrel visits the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "visits" "squirrel" "-")
The squirrel sees the squirrel.
Unknown
random
[@0: The squirrel sees the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "sees" "squirrel" "+")
The squirrel is not blue.
Unknown
inv-random
[@0: The squirrel is blue.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "blue" "-")
The squirrel needs the squirrel.
Unknown
random
[@0: The squirrel needs the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "needs" "squirrel" "+")
@0: The squirrel is cold.[(triple1)] @1: The squirrel is round.[(((triple1) -> rule3))] @2: The squirrel is big.[(((((triple1) -> rule3)) -> rule2))]
The squirrel is cold.
("squirrel" "is" "cold" "+")
triple1
The squirrel is round.
("squirrel" "is" "round" "+")
((triple1) -> (rule3 % int1))
The squirrel is round.
("squirrel" "is" "round" "+")
int1
The squirrel is big.
("squirrel" "is" "big" "+")
((((triple1) -> (rule3 % int2))) -> (rule2 % int1))
The squirrel is big.
("squirrel" "is" "big" "+")
int1
The squirrel is round.
("squirrel" "is" "round" "+")
int2