The squirrel is cold. The squirrel is green. The squirrel is not nice. The squirrel is not red. The squirrel is young. If the squirrel is nice and the squirrel is not cold then the squirrel is green. If someone is nice then they are green. All nice, red people are green. If someone is red then they are nice. If the squirrel is nice and the squirrel is not cold then the squirrel is not red. If someone is green then they are young.
The squirrel is cold.
("squirrel" "is" "cold" "+")
The squirrel is green.
("squirrel" "is" "green" "+")
The squirrel is not nice.
("squirrel" "is" "nice" "-")
The squirrel is not red.
("squirrel" "is" "red" "-")
The squirrel is young.
("squirrel" "is" "young" "+")
If the squirrel is nice and the squirrel is not cold then the squirrel is green.
((("squirrel" "is" "nice" "+") ("squirrel" "is" "cold" "~")) -> ("squirrel" "is" "green" "+"))
If someone is nice then they are green.
((("someone" "is" "nice" "+")) -> ("someone" "is" "green" "+"))
All nice, red people are green.
((("someone" "is" "nice" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "green" "+"))
If someone is red then they are nice.
((("someone" "is" "red" "+")) -> ("someone" "is" "nice" "+"))
If the squirrel is nice and the squirrel is not cold then the squirrel is not red.
((("squirrel" "is" "nice" "+") ("squirrel" "is" "cold" "~")) -> ("squirrel" "is" "red" "-"))
If someone is green then they are young.
((("someone" "is" "green" "+")) -> ("someone" "is" "young" "+"))
The squirrel is not red.
True
1
proof
[(triple4)]
("squirrel" "is" "red" "-")
triple4
The squirrel is not young.
False
1
inv-proof
[(triple5 OR ((triple2) -> rule6))]
("squirrel" "is" "young" "-")
triple5
((triple2) -> (rule6 % int1))
The squirrel is young.
("squirrel" "is" "young" "+")
int1
The squirrel does not need the squirrel.
Unknown
inv-random
[@0: The squirrel needs the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "needs" "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 not nice.[(triple3)] The squirrel is not red.[(triple4)] The squirrel is young.[(triple5 OR ((triple2) -> rule6))]
The squirrel is cold.
("squirrel" "is" "cold" "+")
triple1
The squirrel is green.
("squirrel" "is" "green" "+")
triple2
The squirrel is not nice.
("squirrel" "is" "nice" "-")
triple3
The squirrel is not red.
("squirrel" "is" "red" "-")
triple4
The squirrel is young.
("squirrel" "is" "young" "+")
triple5
((triple2) -> (rule6 % int1))
The squirrel is young.
("squirrel" "is" "young" "+")
int1