The squirrel is green. The squirrel is kind. The squirrel is nice. All kind people are round. If someone is red and not green then they are not kind. If someone is round then they are kind. If someone is nice and red then they are kind. If the squirrel is round and the squirrel is kind then the squirrel is red. If the squirrel is nice and the squirrel is round then the squirrel is red.
The squirrel is green.
("squirrel" "is" "green" "+")
The squirrel is kind.
("squirrel" "is" "kind" "+")
The squirrel is nice.
("squirrel" "is" "nice" "+")
All kind people are round.
((("someone" "is" "kind" "+")) -> ("someone" "is" "round" "+"))
If someone is red and not green then they are not kind.
((("someone" "is" "red" "+") ("someone" "is" "green" "~")) -> ("someone" "is" "kind" "-"))
If someone is round then they are kind.
((("someone" "is" "round" "+")) -> ("someone" "is" "kind" "+"))
If someone is nice and red then they are kind.
((("someone" "is" "nice" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "kind" "+"))
If the squirrel is round and the squirrel is kind then the squirrel is red.
((("squirrel" "is" "round" "+") ("squirrel" "is" "kind" "+")) -> ("squirrel" "is" "red" "+"))
If the squirrel is nice and the squirrel is round then the squirrel is red.
((("squirrel" "is" "nice" "+") ("squirrel" "is" "round" "+")) -> ("squirrel" "is" "red" "+"))
The squirrel is kind.
True
1
proof
[(triple2)]
("squirrel" "is" "kind" "+")
triple2
The squirrel is not kind.
False
1
inv-proof
[(triple2)]
("squirrel" "is" "kind" "-")
triple2
The squirrel is round.
True
2
proof
[(((triple2) -> rule1))]
("squirrel" "is" "round" "+")
((triple2) -> (rule1 % int1))
The squirrel is round.
("squirrel" "is" "round" "+")
int1
The squirrel is not round.
False
2
inv-proof
[(((triple2) -> rule1))]
("squirrel" "is" "round" "-")
((triple2) -> (rule1 % int1))
The squirrel is round.
("squirrel" "is" "round" "+")
int1
The squirrel is red.
True
4
proof
[(((triple3 ((triple2) -> rule1)) -> rule6) OR ((((triple2) -> rule1) triple2) -> rule5))]
("squirrel" "is" "red" "+")
((triple3 ((triple2) -> (rule1 % int2))) -> (rule6 % int1))
The squirrel is red.
("squirrel" "is" "red" "+")
int1
The squirrel is round.
("squirrel" "is" "round" "+")
int2
((((triple2) -> (rule1 % int2)) triple2) -> (rule5 % int1))
The squirrel is red.
("squirrel" "is" "red" "+")
int1
The squirrel is round.
("squirrel" "is" "round" "+")
int2
The squirrel is not red.
False
4
inv-proof
[(((triple3 ((triple2) -> rule1)) -> rule6) OR ((((triple2) -> rule1) triple2) -> rule5))]
("squirrel" "is" "red" "-")
((triple3 ((triple2) -> (rule1 % int2))) -> (rule6 % int1))
The squirrel is red.
("squirrel" "is" "red" "+")
int1
The squirrel is round.
("squirrel" "is" "round" "+")
int2
((((triple2) -> (rule1 % int2)) triple2) -> (rule5 % int1))
The squirrel is red.
("squirrel" "is" "red" "+")
int1
The squirrel is round.
("squirrel" "is" "round" "+")
int2
The squirrel does not chase the squirrel.
Unknown
inv-random
[@0: The squirrel chases the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "chases" "squirrel" "-")
The squirrel needs the squirrel.
Unknown
random
[@0: The squirrel needs the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "needs" "squirrel" "+")
@0: The squirrel is green.[(triple1)] The squirrel is kind.[(triple2)] The squirrel is nice.[(triple3)] @1: The squirrel is round.[(((triple2) -> rule1))] @2: The squirrel is red.[(((triple3 ((triple2) -> rule1)) -> rule6) OR ((((triple2) -> rule1) triple2) -> rule5))]
The squirrel is green.
("squirrel" "is" "green" "+")
triple1
The squirrel is kind.
("squirrel" "is" "kind" "+")
triple2
The squirrel is nice.
("squirrel" "is" "nice" "+")
triple3
The squirrel is round.
("squirrel" "is" "round" "+")
((triple2) -> (rule1 % int1))
The squirrel is round.
("squirrel" "is" "round" "+")
int1
The squirrel is red.
("squirrel" "is" "red" "+")
((triple3 ((triple2) -> (rule1 % int2))) -> (rule6 % int1))
The squirrel is red.
("squirrel" "is" "red" "+")
int1
The squirrel is round.
("squirrel" "is" "round" "+")
int2
((((triple2) -> (rule1 % int2)) triple2) -> (rule5 % int1))
The squirrel is red.
("squirrel" "is" "red" "+")
int1
The squirrel is round.
("squirrel" "is" "round" "+")
int2