The squirrel is green. The squirrel is nice. The squirrel is rough. The squirrel is round. The squirrel is young. If someone is young and round then they are nice. Green, rough people are round. If someone is round then they are green. Green people are nice. If the squirrel is green and the squirrel is round then the squirrel is rough. All nice, green people are round.
The squirrel is green.
("squirrel" "is" "green" "+")
The squirrel is nice.
("squirrel" "is" "nice" "+")
The squirrel is rough.
("squirrel" "is" "rough" "+")
The squirrel is round.
("squirrel" "is" "round" "+")
The squirrel is young.
("squirrel" "is" "young" "+")
If someone is young and round then they are nice.
((("someone" "is" "young" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "nice" "+"))
Green, rough people are round.
((("someone" "is" "green" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "round" "+"))
If someone is round then they are green.
((("someone" "is" "round" "+")) -> ("someone" "is" "green" "+"))
Green people are nice.
((("someone" "is" "green" "+")) -> ("someone" "is" "nice" "+"))
If the squirrel is green and the squirrel is round then the squirrel is rough.
((("squirrel" "is" "green" "+") ("squirrel" "is" "round" "+")) -> ("squirrel" "is" "rough" "+"))
All nice, green people are round.
((("someone" "is" "nice" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "round" "+"))
The squirrel is young.
True
1
proof
[(triple5)]
("squirrel" "is" "young" "+")
triple5
The squirrel is not round.
False
1
inv-proof
[(triple4 OR ((triple1 triple3) -> rule2) OR ((triple2 triple1) -> rule6) OR ((((triple1) -> rule4) triple1) -> rule6))]
("squirrel" "is" "round" "-")
triple4
((triple1 triple3) -> (rule2 % int1))
The squirrel is round.
("squirrel" "is" "round" "+")
int1
((triple2 triple1) -> (rule6 % int1))
The squirrel is round.
("squirrel" "is" "round" "+")
int1
((((triple1) -> (rule4 % int2)) triple1) -> (rule6 % int1))
The squirrel is round.
("squirrel" "is" "round" "+")
int1
The squirrel is nice.
("squirrel" "is" "nice" "+")
int2
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 eats the squirrel.
Unknown
random
[@0: The squirrel eats the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "eats" "squirrel" "+")
@0: The squirrel is green.[(triple1 OR ((triple4) -> rule3))] The squirrel is nice.[(triple2 OR ((triple1) -> rule4) OR ((triple5 triple4) -> rule1) OR ((((triple4) -> rule3)) -> rule4) OR ((triple5 ((triple1 triple3) -> rule2)) -> rule1))] The squirrel is rough.[(triple3 OR ((triple1 triple4) -> rule5) OR ((triple1 ((triple2 triple1) -> rule6)) -> rule5) OR ((((triple4) -> rule3) triple4) -> rule5) OR ((((triple4) -> rule3) ((triple2 triple1) -> rule6)) -> rule5) OR ((triple1 ((((triple1) -> rule4) triple1) -> rule6)) -> rule5) OR ((((triple4) -> rule3) ((((triple1) -> rule4) triple1) -> rule6)) -> rule5))] The squirrel is round.[(triple4 OR ((triple1 triple3) -> rule2) OR ((triple2 triple1) -> rule6) OR ((((triple1) -> rule4) triple1) -> rule6))] The squirrel is young.[(triple5)]
The squirrel is green.
("squirrel" "is" "green" "+")
triple1
((triple4) -> (rule3 % int1))
The squirrel is green.
("squirrel" "is" "green" "+")
int1
The squirrel is nice.
("squirrel" "is" "nice" "+")
triple2
((triple1) -> (rule4 % int1))
The squirrel is nice.
("squirrel" "is" "nice" "+")
int1
((triple5 triple4) -> (rule1 % int1))
The squirrel is nice.
("squirrel" "is" "nice" "+")
int1
((((triple4) -> (rule3 % int2))) -> (rule4 % int1))
The squirrel is nice.
("squirrel" "is" "nice" "+")
int1
The squirrel is green.
("squirrel" "is" "green" "+")
int2
((triple5 ((triple1 triple3) -> (rule2 % int2))) -> (rule1 % int1))
The squirrel is nice.
("squirrel" "is" "nice" "+")
int1
The squirrel is round.
("squirrel" "is" "round" "+")
int2
The squirrel is rough.
("squirrel" "is" "rough" "+")
triple3
((triple1 triple4) -> (rule5 % int1))
The squirrel is rough.
("squirrel" "is" "rough" "+")
int1
((triple1 ((triple2 triple1) -> (rule6 % int2))) -> (rule5 % int1))
The squirrel is rough.
("squirrel" "is" "rough" "+")
int1
The squirrel is round.
("squirrel" "is" "round" "+")
int2
((((triple4) -> (rule3 % int2)) triple4) -> (rule5 % int1))
The squirrel is rough.
("squirrel" "is" "rough" "+")
int1
The squirrel is green.
("squirrel" "is" "green" "+")
int2
((((triple4) -> (rule3 % int3)) ((triple2 triple1) -> (rule6 % int2))) -> (rule5 % int1))
The squirrel is rough.
("squirrel" "is" "rough" "+")
int1
The squirrel is round.
("squirrel" "is" "round" "+")
int2
The squirrel is green.
("squirrel" "is" "green" "+")
int3
((triple1 ((((triple1) -> (rule4 % int3)) triple1) -> (rule6 % int2))) -> (rule5 % int1))
The squirrel is rough.
("squirrel" "is" "rough" "+")
int1
The squirrel is round.
("squirrel" "is" "round" "+")
int2
The squirrel is nice.
("squirrel" "is" "nice" "+")
int3
((((triple4) -> (rule3 % int4)) ((((triple1) -> (rule4 % int3)) triple1) -> (rule6 % int2))) -> (rule5 % int1))
The squirrel is rough.
("squirrel" "is" "rough" "+")
int1
The squirrel is round.
("squirrel" "is" "round" "+")
int2
The squirrel is nice.
("squirrel" "is" "nice" "+")
int3
The squirrel is green.
("squirrel" "is" "green" "+")
int4
The squirrel is round.
("squirrel" "is" "round" "+")
triple4
((triple1 triple3) -> (rule2 % int1))
The squirrel is round.
("squirrel" "is" "round" "+")
int1
((triple2 triple1) -> (rule6 % int1))
The squirrel is round.
("squirrel" "is" "round" "+")
int1
((((triple1) -> (rule4 % int2)) triple1) -> (rule6 % int1))
The squirrel is round.
("squirrel" "is" "round" "+")
int1
The squirrel is nice.
("squirrel" "is" "nice" "+")
int2
The squirrel is young.
("squirrel" "is" "young" "+")
triple5