The squirrel is cold. The squirrel is green. The squirrel is rough. The squirrel is round. The squirrel is young. All rough things are young. If something is round then it is young.
The squirrel is cold.
("squirrel" "is" "cold" "+")
The squirrel is green.
("squirrel" "is" "green" "+")
The squirrel is rough.
("squirrel" "is" "rough" "+")
The squirrel is round.
("squirrel" "is" "round" "+")
The squirrel is young.
("squirrel" "is" "young" "+")
All rough things are young.
((("something" "is" "rough" "+")) -> ("something" "is" "young" "+"))
If something is round then it is young.
((("something" "is" "round" "+")) -> ("something" "is" "young" "+"))
The squirrel is rough.
True
1
proof
[(triple3)]
("squirrel" "is" "rough" "+")
triple3
The squirrel is not cold.
False
1
inv-proof
[(triple1)]
("squirrel" "is" "cold" "-")
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 visits the squirrel.
Unknown
random
[@0: The squirrel visits the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "visits" "squirrel" "+")
@0: The squirrel is cold.[(triple1)] The squirrel is green.[(triple2)] The squirrel is rough.[(triple3)] The squirrel is round.[(triple4)] The squirrel is young.[(triple5 OR ((triple3) -> rule1) OR ((triple4) -> rule2))]
The squirrel is cold.
("squirrel" "is" "cold" "+")
triple1
The squirrel is green.
("squirrel" "is" "green" "+")
triple2
The squirrel is rough.
("squirrel" "is" "rough" "+")
triple3
The squirrel is round.
("squirrel" "is" "round" "+")
triple4
The squirrel is young.
("squirrel" "is" "young" "+")
triple5
((triple3) -> (rule1 % int1))
The squirrel is young.
("squirrel" "is" "young" "+")
int1
((triple4) -> (rule2 % int1))
The squirrel is young.
("squirrel" "is" "young" "+")
int1