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