The squirrel is cold. The squirrel is not nice. The squirrel is red. If the squirrel is nice and the squirrel is young then the squirrel is not red. If something is kind then it is red. All cold things are not young.
The squirrel is cold.
("squirrel" "is" "cold" "+")
The squirrel is not nice.
("squirrel" "is" "nice" "-")
The squirrel is red.
("squirrel" "is" "red" "+")
If the squirrel is nice and the squirrel is young then the squirrel is not red.
((("squirrel" "is" "nice" "+") ("squirrel" "is" "young" "+")) -> ("squirrel" "is" "red" "-"))
If something is kind then it is red.
((("something" "is" "kind" "+")) -> ("something" "is" "red" "+"))
All cold things are not young.
((("something" "is" "cold" "+")) -> ("something" "is" "young" "-"))
The squirrel is cold.
True
1
proof
[(triple1)]
("squirrel" "is" "cold" "+")
triple1
The squirrel is not red.
False
1
inv-proof
[(triple3)]
("squirrel" "is" "red" "-")
triple3
The squirrel is not young.
True
2
proof
[(((triple1) -> rule3))]
("squirrel" "is" "young" "-")
((triple1) -> (rule3 % int1))
The squirrel is not young.
("squirrel" "is" "young" "-")
int1
The squirrel is young.
False
2
inv-proof
[(((triple1) -> rule3))]
("squirrel" "is" "young" "+")
((triple1) -> (rule3 % int1))
The squirrel is not young.
("squirrel" "is" "young" "-")
int1
The squirrel is not kind.
Unknown
inv-random
[@0: The squirrel is kind.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "kind" "-")
The squirrel sees the squirrel.
Unknown
random
[@0: The squirrel sees the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "sees" "squirrel" "+")
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 chases the squirrel.
Unknown
random
[@0: The squirrel chases the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "chases" "squirrel" "+")
@0: The squirrel is cold.[(triple1)] The squirrel is not nice.[(triple2)] The squirrel is red.[(triple3)] @1: The squirrel is not young.[(((triple1) -> rule3))]
The squirrel is cold.
("squirrel" "is" "cold" "+")
triple1
The squirrel is not nice.
("squirrel" "is" "nice" "-")
triple2
The squirrel is red.
("squirrel" "is" "red" "+")
triple3
The squirrel is not young.
("squirrel" "is" "young" "-")
((triple1) -> (rule3 % int1))
The squirrel is not young.
("squirrel" "is" "young" "-")
int1