The squirrel is blue. The squirrel is cold. The squirrel is red. The squirrel is rough. The squirrel is round. Round, red people are cold. Blue, round people are red. If someone is rough then they are cold.
The squirrel is blue.
("squirrel" "is" "blue" "+")
The squirrel is cold.
("squirrel" "is" "cold" "+")
The squirrel is red.
("squirrel" "is" "red" "+")
The squirrel is rough.
("squirrel" "is" "rough" "+")
The squirrel is round.
("squirrel" "is" "round" "+")
Round, red people are cold.
((("someone" "is" "round" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "cold" "+"))
Blue, round people are red.
((("someone" "is" "blue" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "red" "+"))
If someone is rough then they are cold.
((("someone" "is" "rough" "+")) -> ("someone" "is" "cold" "+"))
The squirrel is red.
True
1
proof
[(triple3 OR ((triple1 triple5) -> rule2))]
("squirrel" "is" "red" "+")
triple3
((triple1 triple5) -> (rule2 % int1))
The squirrel is red.
("squirrel" "is" "red" "+")
int1
The squirrel is not blue.
False
1
inv-proof
[(triple1)]
("squirrel" "is" "blue" "-")
triple1
The squirrel does not see the squirrel.
Unknown
inv-random
[@0: The squirrel sees the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "sees" "squirrel" "-")
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 blue.[(triple1)] The squirrel is cold.[(triple2 OR ((triple4) -> rule3) OR ((triple5 triple3) -> rule1) OR ((triple5 ((triple1 triple5) -> rule2)) -> rule1))] The squirrel is red.[(triple3 OR ((triple1 triple5) -> rule2))] The squirrel is rough.[(triple4)] The squirrel is round.[(triple5)]
The squirrel is blue.
("squirrel" "is" "blue" "+")
triple1
The squirrel is cold.
("squirrel" "is" "cold" "+")
triple2
((triple4) -> (rule3 % int1))
The squirrel is cold.
("squirrel" "is" "cold" "+")
int1
((triple5 triple3) -> (rule1 % int1))
The squirrel is cold.
("squirrel" "is" "cold" "+")
int1
((triple5 ((triple1 triple5) -> (rule2 % int2))) -> (rule1 % int1))
The squirrel is cold.
("squirrel" "is" "cold" "+")
int1
The squirrel is red.
("squirrel" "is" "red" "+")
int2
The squirrel is red.
("squirrel" "is" "red" "+")
triple3
((triple1 triple5) -> (rule2 % int1))
The squirrel is red.
("squirrel" "is" "red" "+")
int1
The squirrel is rough.
("squirrel" "is" "rough" "+")
triple4
The squirrel is round.
("squirrel" "is" "round" "+")
triple5