The cat eats the squirrel. The cat is blue. The cat is kind. The cat is nice. The cat is round. The cat sees the squirrel. The cat visits the squirrel. The squirrel eats the cat. The squirrel is big. The squirrel is blue. The squirrel is kind. The squirrel is nice. The squirrel is round. The squirrel sees the cat. The squirrel visits the cat. If someone is nice then they eat the squirrel. If someone eats the squirrel and the squirrel is big then the squirrel visits the cat. If the squirrel sees the cat then the squirrel visits the cat. If the squirrel eats the cat then the cat sees the squirrel. If someone sees the cat then the cat is nice. If someone is kind then they eat the cat.
The cat eats the squirrel.
("cat" "eats" "squirrel" "+")
The cat is blue.
("cat" "is" "blue" "+")
The cat is kind.
("cat" "is" "kind" "+")
The cat is nice.
("cat" "is" "nice" "+")
The cat is round.
("cat" "is" "round" "+")
The cat sees the squirrel.
("cat" "sees" "squirrel" "+")
The cat visits the squirrel.
("cat" "visits" "squirrel" "+")
The squirrel eats the cat.
("squirrel" "eats" "cat" "+")
The squirrel is big.
("squirrel" "is" "big" "+")
The squirrel is blue.
("squirrel" "is" "blue" "+")
The squirrel is kind.
("squirrel" "is" "kind" "+")
The squirrel is nice.
("squirrel" "is" "nice" "+")
The squirrel is round.
("squirrel" "is" "round" "+")
The squirrel sees the cat.
("squirrel" "sees" "cat" "+")
The squirrel visits the cat.
("squirrel" "visits" "cat" "+")
If someone is nice then they eat the squirrel.
((("someone" "is" "nice" "+")) -> ("someone" "eats" "squirrel" "+"))
If someone eats the squirrel and the squirrel is big then the squirrel visits the cat.
((("someone" "eats" "squirrel" "+") ("squirrel" "is" "big" "+")) -> ("squirrel" "visits" "cat" "+"))
If the squirrel sees the cat then the squirrel visits the cat.
((("squirrel" "sees" "cat" "+")) -> ("squirrel" "visits" "cat" "+"))
If the squirrel eats the cat then the cat sees the squirrel.
((("squirrel" "eats" "cat" "+")) -> ("cat" "sees" "squirrel" "+"))
If someone sees the cat then the cat is nice.
((("someone" "sees" "cat" "+")) -> ("cat" "is" "nice" "+"))
If someone is kind then they eat the cat.
((("someone" "is" "kind" "+")) -> ("someone" "eats" "cat" "+"))
The cat is round.
True
1
proof
[(triple5)]
("cat" "is" "round" "+")
triple5
The squirrel is not nice.
False
1
inv-proof
[(triple12)]
("squirrel" "is" "nice" "-")
triple12
The cat eats the cat.
True
2
proof
[(((triple3) -> rule6))]
("cat" "eats" "cat" "+")
((triple3) -> (rule6 % int1))
The cat eats the cat.
("cat" "eats" "cat" "+")
int1
The cat does not eat the cat.
False
2
inv-proof
[(((triple3) -> rule6))]
("cat" "eats" "cat" "-")
((triple3) -> (rule6 % int1))
The cat eats the cat.
("cat" "eats" "cat" "+")
int1
The cat is not big.
Unknown
inv-random
[@0: The cat is big.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "big" "-")
The cat sees the cat.
Unknown
random
[@0: The cat sees the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "sees" "cat" "+")
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 cat visits the cat.
Unknown
random
[@0: The cat visits the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "visits" "cat" "+")
@0: The cat eats the squirrel.[(triple1 OR ((triple4) -> rule1) OR ((((triple14) -> rule5)) -> rule1))] The cat is blue.[(triple2)] The cat is kind.[(triple3)] The cat is nice.[(triple4 OR ((triple14) -> rule5))] The cat is round.[(triple5)] The cat sees the squirrel.[(triple6 OR ((triple8) -> rule4) OR ((((triple11) -> rule6)) -> rule4))] The cat visits the squirrel.[(triple7)] The squirrel eats the cat.[(triple8 OR ((triple11) -> rule6))] The squirrel is big.[(triple9)] The squirrel is blue.[(triple10)] The squirrel is kind.[(triple11)] The squirrel is nice.[(triple12)] The squirrel is round.[(triple13)] The squirrel sees the cat.[(triple14)] The squirrel visits the cat.[(triple15 OR ((triple14) -> rule3) OR ((triple1 triple9) -> rule2) OR ((((triple12) -> rule1) triple9) -> rule2) OR ((((triple4) -> rule1) triple9) -> rule2) OR ((((((triple14) -> rule5)) -> rule1) triple9) -> rule2))] @1: The cat eats the cat.[(((triple3) -> rule6))] The squirrel eats the squirrel.[(((triple12) -> rule1))]
The cat eats the squirrel.
("cat" "eats" "squirrel" "+")
triple1
((triple4) -> (rule1 % int1))
The cat eats the squirrel.
("cat" "eats" "squirrel" "+")
int1
((((triple14) -> (rule5 % int2))) -> (rule1 % int1))
The cat eats the squirrel.
("cat" "eats" "squirrel" "+")
int1
The cat is nice.
("cat" "is" "nice" "+")
int2
The cat is blue.
("cat" "is" "blue" "+")
triple2
The cat is kind.
("cat" "is" "kind" "+")
triple3
The cat is nice.
("cat" "is" "nice" "+")
triple4
((triple14) -> (rule5 % int1))
The cat is nice.
("cat" "is" "nice" "+")
int1
The cat is round.
("cat" "is" "round" "+")
triple5
The cat sees the squirrel.
("cat" "sees" "squirrel" "+")
triple6
((triple8) -> (rule4 % int1))
The cat sees the squirrel.
("cat" "sees" "squirrel" "+")
int1
((((triple11) -> (rule6 % int2))) -> (rule4 % int1))
The cat sees the squirrel.
("cat" "sees" "squirrel" "+")
int1
The squirrel eats the cat.
("squirrel" "eats" "cat" "+")
int2
The cat visits the squirrel.
("cat" "visits" "squirrel" "+")
triple7
The squirrel eats the cat.
("squirrel" "eats" "cat" "+")
triple8
((triple11) -> (rule6 % int1))
The squirrel eats the cat.
("squirrel" "eats" "cat" "+")
int1
The squirrel is big.
("squirrel" "is" "big" "+")
triple9
The squirrel is blue.
("squirrel" "is" "blue" "+")
triple10
The squirrel is kind.
("squirrel" "is" "kind" "+")
triple11
The squirrel is nice.
("squirrel" "is" "nice" "+")
triple12
The squirrel is round.
("squirrel" "is" "round" "+")
triple13
The squirrel sees the cat.
("squirrel" "sees" "cat" "+")
triple14
The squirrel visits the cat.
("squirrel" "visits" "cat" "+")
triple15
((triple14) -> (rule3 % int1))
The squirrel visits the cat.
("squirrel" "visits" "cat" "+")
int1
((triple1 triple9) -> (rule2 % int1))
The squirrel visits the cat.
("squirrel" "visits" "cat" "+")
int1
((((triple12) -> (rule1 % int2)) triple9) -> (rule2 % int1))
The squirrel visits the cat.
("squirrel" "visits" "cat" "+")
int1
The squirrel eats the squirrel.
("squirrel" "eats" "squirrel" "+")
int2
((((triple4) -> (rule1 % int2)) triple9) -> (rule2 % int1))
The squirrel visits the cat.
("squirrel" "visits" "cat" "+")
int1
The cat eats the squirrel.
("cat" "eats" "squirrel" "+")
int2
((((((triple14) -> (rule5 % int3))) -> (rule1 % int2)) triple9) -> (rule2 % int1))
The squirrel visits the cat.
("squirrel" "visits" "cat" "+")
int1
The cat eats the squirrel.
("cat" "eats" "squirrel" "+")
int2
The cat is nice.
("cat" "is" "nice" "+")
int3
The cat eats the cat.
("cat" "eats" "cat" "+")
((triple3) -> (rule6 % int1))
The cat eats the cat.
("cat" "eats" "cat" "+")
int1
The squirrel eats the squirrel.
("squirrel" "eats" "squirrel" "+")
((triple12) -> (rule1 % int1))
The squirrel eats the squirrel.
("squirrel" "eats" "squirrel" "+")
int1