The squirrel is not cold. The squirrel is red. The squirrel is not rough. The squirrel is round. The squirrel is not young. If the squirrel is not rough then the squirrel is round. If someone is young then they are red. All rough people are red. All round, rough people are cold. All red, rough people are cold. Red people are not young. All cold, red people are young. If someone is red and not round then they are young.
The squirrel is not cold.
("squirrel" "is" "cold" "-")
The squirrel is red.
("squirrel" "is" "red" "+")
The squirrel is not rough.
("squirrel" "is" "rough" "-")
The squirrel is round.
("squirrel" "is" "round" "+")
The squirrel is not young.
("squirrel" "is" "young" "-")
If the squirrel is not rough then the squirrel is round.
((("squirrel" "is" "rough" "~")) -> ("squirrel" "is" "round" "+"))
If someone is young then they are red.
((("someone" "is" "young" "+")) -> ("someone" "is" "red" "+"))
All rough people are red.
((("someone" "is" "rough" "+")) -> ("someone" "is" "red" "+"))
All round, rough people are cold.
((("someone" "is" "round" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "cold" "+"))
All red, rough people are cold.
((("someone" "is" "red" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "cold" "+"))
Red people are not young.
((("someone" "is" "red" "+")) -> ("someone" "is" "young" "-"))
All cold, red people are young.
((("someone" "is" "cold" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "young" "+"))
If someone is red and not round then they are young.
((("someone" "is" "red" "+") ("someone" "is" "round" "~")) -> ("someone" "is" "young" "+"))
The squirrel is not cold.
True
1
proof
[(triple1)]
("squirrel" "is" "cold" "-")
triple1
The squirrel is not round.
False
1
inv-proof
[(triple4 OR ((triple3) -> rule1))]
("squirrel" "is" "round" "-")
triple4
((triple3) -> (rule1 % int1))
The squirrel is round.
("squirrel" "is" "round" "+")
int1
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" "+")
@0: The squirrel is not cold.[(triple1)] The squirrel is not rough.[(triple3)] The squirrel is not young.[(triple5 OR ((triple2) -> rule6))] The squirrel is red.[(triple2)] The squirrel is round.[(triple4 OR ((triple3) -> rule1))]
The squirrel is not cold.
("squirrel" "is" "cold" "-")
triple1
The squirrel is not rough.
("squirrel" "is" "rough" "-")
triple3
The squirrel is not young.
("squirrel" "is" "young" "-")
triple5
((triple2) -> (rule6 % int1))
The squirrel is not young.
("squirrel" "is" "young" "-")
int1
The squirrel is red.
("squirrel" "is" "red" "+")
triple2
The squirrel is round.
("squirrel" "is" "round" "+")
triple4
((triple3) -> (rule1 % int1))
The squirrel is round.
("squirrel" "is" "round" "+")
int1