The cat chases the squirrel. The cat eats the squirrel. The cat is cold. The cat is kind. The cat is round. The cat sees the squirrel. The squirrel chases the cat. The squirrel eats the cat. The squirrel is cold. The squirrel is nice. The squirrel is round. The squirrel sees the cat. If someone sees the cat and they chase the squirrel then they eat the squirrel. If the cat does not see the squirrel then the squirrel does not eat the cat. If someone sees the cat then they chase the squirrel. If someone sees the cat then they are round. Big people are round. If someone eats the cat and the cat does not chase the squirrel then they are round.
The cat chases the squirrel.
("cat" "chases" "squirrel" "+")
The cat eats the squirrel.
("cat" "eats" "squirrel" "+")
The cat is cold.
("cat" "is" "cold" "+")
The cat is kind.
("cat" "is" "kind" "+")
The cat is round.
("cat" "is" "round" "+")
The cat sees the squirrel.
("cat" "sees" "squirrel" "+")
The squirrel chases the cat.
("squirrel" "chases" "cat" "+")
The squirrel eats the cat.
("squirrel" "eats" "cat" "+")
The squirrel is cold.
("squirrel" "is" "cold" "+")
The squirrel is nice.
("squirrel" "is" "nice" "+")
The squirrel is round.
("squirrel" "is" "round" "+")
The squirrel sees the cat.
("squirrel" "sees" "cat" "+")
If someone sees the cat and they chase the squirrel then they eat the squirrel.
((("someone" "sees" "cat" "+") ("someone" "chases" "squirrel" "+")) -> ("someone" "eats" "squirrel" "+"))
If the cat does not see the squirrel then the squirrel does not eat the cat.
((("cat" "sees" "squirrel" "~")) -> ("squirrel" "eats" "cat" "-"))
If someone sees the cat then they chase the squirrel.
((("someone" "sees" "cat" "+")) -> ("someone" "chases" "squirrel" "+"))
If someone sees the cat then they are round.
((("someone" "sees" "cat" "+")) -> ("someone" "is" "round" "+"))
Big people are round.
((("someone" "is" "big" "+")) -> ("someone" "is" "round" "+"))
If someone eats the cat and the cat does not chase the squirrel then they are round.
((("someone" "eats" "cat" "+") ("cat" "chases" "squirrel" "~")) -> ("someone" "is" "round" "+"))
The cat is round.
True
1
proof
[(triple5)]
("cat" "is" "round" "+")
triple5
The squirrel is not cold.
False
1
inv-proof
[(triple9)]
("squirrel" "is" "cold" "-")
triple9
The squirrel chases the squirrel.
True
2
proof
[(((triple12) -> rule3))]
("squirrel" "chases" "squirrel" "+")
((triple12) -> (rule3 % int1))
The squirrel chases the squirrel.
("squirrel" "chases" "squirrel" "+")
int1
The squirrel does not chase the squirrel.
False
2
inv-proof
[(((triple12) -> rule3))]
("squirrel" "chases" "squirrel" "-")
((triple12) -> (rule3 % int1))
The squirrel chases the squirrel.
("squirrel" "chases" "squirrel" "+")
int1
The squirrel eats the squirrel.
True
4
proof
[(((triple12 ((triple12) -> rule3)) -> rule1))]
("squirrel" "eats" "squirrel" "+")
((triple12 ((triple12) -> (rule3 % int2))) -> (rule1 % int1))
The squirrel eats the squirrel.
("squirrel" "eats" "squirrel" "+")
int1
The squirrel chases the squirrel.
("squirrel" "chases" "squirrel" "+")
int2
The squirrel does not eat the squirrel.
False
4
inv-proof
[(((triple12 ((triple12) -> rule3)) -> rule1))]
("squirrel" "eats" "squirrel" "-")
((triple12 ((triple12) -> (rule3 % int2))) -> (rule1 % int1))
The squirrel eats the squirrel.
("squirrel" "eats" "squirrel" "+")
int1
The squirrel chases the squirrel.
("squirrel" "chases" "squirrel" "+")
int2
The cat is not nice.
Unknown
inv-random
[@0: The cat is nice.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "nice" "-")
The cat is big.
Unknown
random
[@0: The cat is big.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "big" "+")
The squirrel is not kind.
Unknown
inv-random
[@0: The squirrel is kind.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "kind" "-")
The squirrel sees the squirrel.
Unknown
random
[@0: The squirrel sees the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "sees" "squirrel" "+")
The cat does not eat the cat.
Unknown
inv-random
[@0: The cat eats the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "eats" "cat" "-")
The cat chases the cat.
Unknown
random
[@0: The cat chases the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "chases" "cat" "+")
@0: The cat chases the squirrel.[(triple1)] The cat eats the squirrel.[(triple2)] The cat is cold.[(triple3)] The cat is kind.[(triple4)] The cat is round.[(triple5)] The cat sees the squirrel.[(triple6)] The squirrel chases the cat.[(triple7)] The squirrel eats the cat.[(triple8)] The squirrel is cold.[(triple9)] The squirrel is nice.[(triple10)] The squirrel is round.[(triple11 OR ((triple12) -> rule4))] The squirrel sees the cat.[(triple12)] @1: The squirrel chases the squirrel.[(((triple12) -> rule3))] @2: The squirrel eats the squirrel.[(((triple12 ((triple12) -> rule3)) -> rule1))]
The cat chases the squirrel.
("cat" "chases" "squirrel" "+")
triple1
The cat eats the squirrel.
("cat" "eats" "squirrel" "+")
triple2
The cat is cold.
("cat" "is" "cold" "+")
triple3
The cat is kind.
("cat" "is" "kind" "+")
triple4
The cat is round.
("cat" "is" "round" "+")
triple5
The cat sees the squirrel.
("cat" "sees" "squirrel" "+")
triple6
The squirrel chases the cat.
("squirrel" "chases" "cat" "+")
triple7
The squirrel eats the cat.
("squirrel" "eats" "cat" "+")
triple8
The squirrel is cold.
("squirrel" "is" "cold" "+")
triple9
The squirrel is nice.
("squirrel" "is" "nice" "+")
triple10
The squirrel is round.
("squirrel" "is" "round" "+")
triple11
((triple12) -> (rule4 % int1))
The squirrel is round.
("squirrel" "is" "round" "+")
int1
The squirrel sees the cat.
("squirrel" "sees" "cat" "+")
triple12
The squirrel chases the squirrel.
("squirrel" "chases" "squirrel" "+")
((triple12) -> (rule3 % int1))
The squirrel chases the squirrel.
("squirrel" "chases" "squirrel" "+")
int1
The squirrel eats the squirrel.
("squirrel" "eats" "squirrel" "+")
((triple12 ((triple12) -> (rule3 % int2))) -> (rule1 % int1))
The squirrel eats the squirrel.
("squirrel" "eats" "squirrel" "+")
int1
The squirrel chases the squirrel.
("squirrel" "chases" "squirrel" "+")
int2