The squirrel is cold. The squirrel is green. The squirrel is kind. The squirrel is not nice. The squirrel is round. All round, cold people are green. If the squirrel is green and the squirrel is not kind then the squirrel is not nice. Kind, nice people are not cold. Nice, green people are not round. If someone is cold then they are round. All kind, nice people are round.
The squirrel is cold.
("squirrel" "is" "cold" "+")
The squirrel is green.
("squirrel" "is" "green" "+")
The squirrel is kind.
("squirrel" "is" "kind" "+")
The squirrel is not nice.
("squirrel" "is" "nice" "-")
The squirrel is round.
("squirrel" "is" "round" "+")
All round, cold people are green.
((("someone" "is" "round" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "green" "+"))
If the squirrel is green and the squirrel is not kind then the squirrel is not nice.
((("squirrel" "is" "green" "+") ("squirrel" "is" "kind" "~")) -> ("squirrel" "is" "nice" "-"))
Kind, nice people are not cold.
((("someone" "is" "kind" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "cold" "-"))
Nice, green people are not round.
((("someone" "is" "nice" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "round" "-"))
If someone is cold then they are round.
((("someone" "is" "cold" "+")) -> ("someone" "is" "round" "+"))
All kind, nice people are round.
((("someone" "is" "kind" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "round" "+"))
The squirrel is kind.
True
1
proof
[(triple3)]
("squirrel" "is" "kind" "+")
triple3
The squirrel is not kind.
False
1
inv-proof
[(triple3)]
("squirrel" "is" "kind" "-")
triple3
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 green.[(triple2 OR ((triple5 triple1) -> rule1) OR ((((triple1) -> rule5) triple1) -> rule1))] The squirrel is kind.[(triple3)] The squirrel is not nice.[(triple4)] The squirrel is round.[(triple5 OR ((triple1) -> rule5))]
The squirrel is cold.
("squirrel" "is" "cold" "+")
triple1
The squirrel is green.
("squirrel" "is" "green" "+")
triple2
((triple5 triple1) -> (rule1 % int1))
The squirrel is green.
("squirrel" "is" "green" "+")
int1
((((triple1) -> (rule5 % int2)) triple1) -> (rule1 % int1))
The squirrel is green.
("squirrel" "is" "green" "+")
int1
The squirrel is round.
("squirrel" "is" "round" "+")
int2
The squirrel is kind.
("squirrel" "is" "kind" "+")
triple3
The squirrel is not nice.
("squirrel" "is" "nice" "-")
triple4
The squirrel is round.
("squirrel" "is" "round" "+")
triple5
((triple1) -> (rule5 % int1))
The squirrel is round.
("squirrel" "is" "round" "+")
int1