The cat likes the cow. The cat likes the squirrel. The cow chases the squirrel. The cow eats the squirrel. The cow is round. The squirrel chases the cat. The squirrel likes the cow. If someone eats the squirrel then they like the squirrel. If the cat chases the squirrel then the cat eats the squirrel. If someone chases the cow then the cow is rough. If the cat likes the squirrel then the squirrel chases the cow. Rough people are kind. If someone eats the squirrel then they eat the cat. If someone eats the cat and they are big then they are round. If someone is rough and they eat the squirrel then the squirrel likes the cow.
The cat likes the cow.
("cat" "likes" "cow" "+")
The cat likes the squirrel.
("cat" "likes" "squirrel" "+")
The cow chases the squirrel.
("cow" "chases" "squirrel" "+")
The cow eats the squirrel.
("cow" "eats" "squirrel" "+")
The cow is round.
("cow" "is" "round" "+")
The squirrel chases the cat.
("squirrel" "chases" "cat" "+")
The squirrel likes the cow.
("squirrel" "likes" "cow" "+")
If someone eats the squirrel then they like the squirrel.
((("someone" "eats" "squirrel" "+")) -> ("someone" "likes" "squirrel" "+"))
If the cat chases the squirrel then the cat eats the squirrel.
((("cat" "chases" "squirrel" "+")) -> ("cat" "eats" "squirrel" "+"))
If someone chases the cow then the cow is rough.
((("someone" "chases" "cow" "+")) -> ("cow" "is" "rough" "+"))
If the cat likes the squirrel then the squirrel chases the cow.
((("cat" "likes" "squirrel" "+")) -> ("squirrel" "chases" "cow" "+"))
Rough people are kind.
((("someone" "is" "rough" "+")) -> ("someone" "is" "kind" "+"))
If someone eats the squirrel then they eat the cat.
((("someone" "eats" "squirrel" "+")) -> ("someone" "eats" "cat" "+"))
If someone eats the cat and they are big then they are round.
((("someone" "eats" "cat" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "round" "+"))
If someone is rough and they eat the squirrel then the squirrel likes the cow.
((("someone" "is" "rough" "+") ("someone" "eats" "squirrel" "+")) -> ("squirrel" "likes" "cow" "+"))
The cow chases the squirrel.
True
1
proof
[(triple3)]
("cow" "chases" "squirrel" "+")
triple3
The cat does not like the cow.
False
1
inv-proof
[(triple1)]
("cat" "likes" "cow" "-")
triple1
The cow eats the cat.
True
2
proof
[(((triple4) -> rule6))]
("cow" "eats" "cat" "+")
((triple4) -> (rule6 % int1))
The cow eats the cat.
("cow" "eats" "cat" "+")
int1
The squirrel does not chase the cow.
False
2
inv-proof
[(((triple2) -> rule4))]
("squirrel" "chases" "cow" "-")
((triple2) -> (rule4 % int1))
The squirrel chases the cow.
("squirrel" "chases" "cow" "+")
int1
The cow is rough.
True
3
proof
[(((((triple2) -> rule4)) -> rule3))]
("cow" "is" "rough" "+")
((((triple2) -> (rule4 % int2))) -> (rule3 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The squirrel chases the cow.
("squirrel" "chases" "cow" "+")
int2
The cow is not rough.
False
3
inv-proof
[(((((triple2) -> rule4)) -> rule3))]
("cow" "is" "rough" "-")
((((triple2) -> (rule4 % int2))) -> (rule3 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The squirrel chases the cow.
("squirrel" "chases" "cow" "+")
int2
The cow is kind.
True
4
proof
[(((((((triple2) -> rule4)) -> rule3)) -> rule5))]
("cow" "is" "kind" "+")
((((((triple2) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
The cow is kind.
("cow" "is" "kind" "+")
int1
The cow is rough.
("cow" "is" "rough" "+")
int2
The squirrel chases the cow.
("squirrel" "chases" "cow" "+")
int3
The cow is not kind.
False
4
inv-proof
[(((((((triple2) -> rule4)) -> rule3)) -> rule5))]
("cow" "is" "kind" "-")
((((((triple2) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
The cow is kind.
("cow" "is" "kind" "+")
int1
The cow is rough.
("cow" "is" "rough" "+")
int2
The squirrel chases the cow.
("squirrel" "chases" "cow" "+")
int3
The squirrel does not like the squirrel.
Unknown
inv-rconc
[@1: The squirrel likes the squirrel.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("squirrel" "likes" "squirrel" "-")
The squirrel eats the cat.
Unknown
rconc
[@1: The squirrel eats the cat.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("squirrel" "eats" "cat" "+")
The cat is not kind.
Unknown
inv-rconc
[@1: The cat is kind.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("cat" "is" "kind" "-")
The squirrel is round.
Unknown
rconc
[@1: The squirrel is round.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("squirrel" "is" "round" "+")
The cat does not eat the cow.
Unknown
inv-random
[@0: The cat eats the cow.[CWA. Example of deepest failure = (FAIL)]]
("cat" "eats" "cow" "-")
The cat is green.
Unknown
random
[@0: The cat is green.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "green" "+")
The cow is not green.
Unknown
inv-random
[@0: The cow is green.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "green" "-")
The squirrel is big.
Unknown
random
[@0: The squirrel is big.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "big" "+")
@0: The cat likes the cow.[(triple1)] The cat likes the squirrel.[(triple2)] The cow chases the squirrel.[(triple3)] The cow eats the squirrel.[(triple4)] The cow is round.[(triple5)] The squirrel chases the cat.[(triple6)] The squirrel likes the cow.[(triple7 OR ((((((triple2) -> rule4)) -> rule3) triple4) -> rule8))] @1: The cow eats the cat.[(((triple4) -> rule6))] The cow likes the squirrel.[(((triple4) -> rule1))] The squirrel chases the cow.[(((triple2) -> rule4))] @2: The cow is rough.[(((((triple2) -> rule4)) -> rule3))] @3: The cow is kind.[(((((((triple2) -> rule4)) -> rule3)) -> rule5))]
The cat likes the cow.
("cat" "likes" "cow" "+")
triple1
The cat likes the squirrel.
("cat" "likes" "squirrel" "+")
triple2
The cow chases the squirrel.
("cow" "chases" "squirrel" "+")
triple3
The cow eats the squirrel.
("cow" "eats" "squirrel" "+")
triple4
The cow is round.
("cow" "is" "round" "+")
triple5
The squirrel chases the cat.
("squirrel" "chases" "cat" "+")
triple6
The squirrel likes the cow.
("squirrel" "likes" "cow" "+")
triple7
((((((triple2) -> (rule4 % int3))) -> (rule3 % int2)) triple4) -> (rule8 % int1))
The squirrel likes the cow.
("squirrel" "likes" "cow" "+")
int1
The cow is rough.
("cow" "is" "rough" "+")
int2
The squirrel chases the cow.
("squirrel" "chases" "cow" "+")
int3
The cow eats the cat.
("cow" "eats" "cat" "+")
((triple4) -> (rule6 % int1))
The cow eats the cat.
("cow" "eats" "cat" "+")
int1
The cow likes the squirrel.
("cow" "likes" "squirrel" "+")
((triple4) -> (rule1 % int1))
The cow likes the squirrel.
("cow" "likes" "squirrel" "+")
int1
The squirrel chases the cow.
("squirrel" "chases" "cow" "+")
((triple2) -> (rule4 % int1))
The squirrel chases the cow.
("squirrel" "chases" "cow" "+")
int1
The cow is rough.
("cow" "is" "rough" "+")
((((triple2) -> (rule4 % int2))) -> (rule3 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The squirrel chases the cow.
("squirrel" "chases" "cow" "+")
int2
The cow is kind.
("cow" "is" "kind" "+")
((((((triple2) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
The cow is kind.
("cow" "is" "kind" "+")
int1
The cow is rough.
("cow" "is" "rough" "+")
int2
The squirrel chases the cow.
("squirrel" "chases" "cow" "+")
int3