The cat chases the cow. The cat is big. The cat is cold. The cat is green. The cat is kind. The cat is young. The cat likes the cow. The cat sees the cow. The cow chases the cat. The cow is big. The cow is cold. The cow is kind. The cow is young. The cow likes the cat. The cow sees the cat. If something is young and it sees the cow then the cow likes the cat. If something chases the cow and the cow sees the cat then it is kind. If something is green and big then it sees the cat. If something likes the cat and the cat is young then the cat chases the cow. If something chases the cat and it sees the cow then the cat likes the cow. If something likes the cat and the cat chases the cow then the cat likes the cow. If the cow chases the cat and the cow is kind then the cat likes the cow. If something sees the cow then the cow likes the cat.
The cat chases the cow.
("cat" "chases" "cow" "+")
The cat is big.
("cat" "is" "big" "+")
The cat is cold.
("cat" "is" "cold" "+")
The cat is green.
("cat" "is" "green" "+")
The cat is kind.
("cat" "is" "kind" "+")
The cat is young.
("cat" "is" "young" "+")
The cat likes the cow.
("cat" "likes" "cow" "+")
The cat sees the cow.
("cat" "sees" "cow" "+")
The cow chases the cat.
("cow" "chases" "cat" "+")
The cow is big.
("cow" "is" "big" "+")
The cow is cold.
("cow" "is" "cold" "+")
The cow is kind.
("cow" "is" "kind" "+")
The cow is young.
("cow" "is" "young" "+")
The cow likes the cat.
("cow" "likes" "cat" "+")
The cow sees the cat.
("cow" "sees" "cat" "+")
If something is young and it sees the cow then the cow likes the cat.
((("something" "is" "young" "+") ("something" "sees" "cow" "+")) -> ("cow" "likes" "cat" "+"))
If something chases the cow and the cow sees the cat then it is kind.
((("something" "chases" "cow" "+") ("cow" "sees" "cat" "+")) -> ("something" "is" "kind" "+"))
If something is green and big then it sees the cat.
((("something" "is" "green" "+") ("something" "is" "big" "+")) -> ("something" "sees" "cat" "+"))
If something likes the cat and the cat is young then the cat chases the cow.
((("something" "likes" "cat" "+") ("cat" "is" "young" "+")) -> ("cat" "chases" "cow" "+"))
If something chases the cat and it sees the cow then the cat likes the cow.
((("something" "chases" "cat" "+") ("something" "sees" "cow" "+")) -> ("cat" "likes" "cow" "+"))
If something likes the cat and the cat chases the cow then the cat likes the cow.
((("something" "likes" "cat" "+") ("cat" "chases" "cow" "+")) -> ("cat" "likes" "cow" "+"))
If the cow chases the cat and the cow is kind then the cat likes the cow.
((("cow" "chases" "cat" "+") ("cow" "is" "kind" "+")) -> ("cat" "likes" "cow" "+"))
If something sees the cow then the cow likes the cat.
((("something" "sees" "cow" "+")) -> ("cow" "likes" "cat" "+"))
The cow chases the cat.
True
1
proof
[(triple9)]
("cow" "chases" "cat" "+")
triple9
The cat does not see the cow.
False
1
inv-proof
[(triple8)]
("cat" "sees" "cow" "-")
triple8
The cat sees the cat.
True
3
proof
[(((triple4 triple2) -> rule3))]
("cat" "sees" "cat" "+")
((triple4 triple2) -> (rule3 % int1))
The cat sees the cat.
("cat" "sees" "cat" "+")
int1
The cat does not see the cat.
False
3
inv-proof
[(((triple4 triple2) -> rule3))]
("cat" "sees" "cat" "-")
((triple4 triple2) -> (rule3 % int1))
The cat sees the cat.
("cat" "sees" "cat" "+")
int1
The cow does not like the cow.
Unknown
inv-random
[@0: The cow likes the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "likes" "cow" "-")
The cat likes the cat.
Unknown
random
[@0: The cat likes the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "likes" "cat" "+")
The cow does not see the cow.
Unknown
inv-random
[@0: The cow sees the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "sees" "cow" "-")
The cow is green.
Unknown
random
[@0: The cow is green.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "green" "+")
@0: The cat chases the cow.[(triple1 OR ((triple14 triple6) -> rule4) OR ((((triple8) -> rule8) triple6) -> rule4) OR ((((triple6 triple8) -> rule1) triple6) -> rule4))] The cat is big.[(triple2)] The cat is cold.[(triple3)] The cat is green.[(triple4)] The cat is kind.[(triple5 OR ((triple1 triple15) -> rule2) OR ((((triple14 triple6) -> rule4) triple15) -> rule2) OR ((((((triple8) -> rule8) triple6) -> rule4) triple15) -> rule2) OR ((((((triple6 triple8) -> rule1) triple6) -> rule4) triple15) -> rule2))] The cat is young.[(triple6)] The cat likes the cow.[(triple7 OR ((triple14 triple1) -> rule6) OR ((triple9 triple12) -> rule7) OR ((triple14 ((triple14 triple6) -> rule4)) -> rule6) OR ((((triple8) -> rule8) triple1) -> rule6) OR ((((triple6 triple8) -> rule1) triple1) -> rule6) OR ((((triple8) -> rule8) ((triple14 triple6) -> rule4)) -> rule6) OR ((((triple6 triple8) -> rule1) ((triple14 triple6) -> rule4)) -> rule6) OR ((triple14 ((((triple8) -> rule8) triple6) -> rule4)) -> rule6) OR ((triple14 ((((triple6 triple8) -> rule1) triple6) -> rule4)) -> rule6) OR ((((triple8) -> rule8) ((((triple8) -> rule8) triple6) -> rule4)) -> rule6) OR ((((triple8) -> rule8) ((((triple6 triple8) -> rule1) triple6) -> rule4)) -> rule6) OR ((((triple6 triple8) -> rule1) ((((triple8) -> rule8) triple6) -> rule4)) -> rule6) OR ((((triple6 triple8) -> rule1) ((((triple6 triple8) -> rule1) triple6) -> rule4)) -> rule6))] The cat sees the cow.[(triple8)] The cow chases the cat.[(triple9)] The cow is big.[(triple10)] The cow is cold.[(triple11)] The cow is kind.[(triple12)] The cow is young.[(triple13)] The cow likes the cat.[(triple14 OR ((triple8) -> rule8) OR ((triple6 triple8) -> rule1))] The cow sees the cat.[(triple15)] @1: The cat sees the cat.[(((triple4 triple2) -> rule3))]
The cat chases the cow.
("cat" "chases" "cow" "+")
triple1
((triple14 triple6) -> (rule4 % int1))
The cat chases the cow.
("cat" "chases" "cow" "+")
int1
((((triple8) -> (rule8 % int2)) triple6) -> (rule4 % int1))
The cat chases the cow.
("cat" "chases" "cow" "+")
int1
The cow likes the cat.
("cow" "likes" "cat" "+")
int2
((((triple6 triple8) -> (rule1 % int2)) triple6) -> (rule4 % int1))
The cat chases the cow.
("cat" "chases" "cow" "+")
int1
The cow likes the cat.
("cow" "likes" "cat" "+")
int2
The cat is big.
("cat" "is" "big" "+")
triple2
The cat is cold.
("cat" "is" "cold" "+")
triple3
The cat is green.
("cat" "is" "green" "+")
triple4
The cat is kind.
("cat" "is" "kind" "+")
triple5
((triple1 triple15) -> (rule2 % int1))
The cat is kind.
("cat" "is" "kind" "+")
int1
((((triple14 triple6) -> (rule4 % int2)) triple15) -> (rule2 % int1))
The cat is kind.
("cat" "is" "kind" "+")
int1
The cat chases the cow.
("cat" "chases" "cow" "+")
int2
((((((triple8) -> (rule8 % int3)) triple6) -> (rule4 % int2)) triple15) -> (rule2 % int1))
The cat is kind.
("cat" "is" "kind" "+")
int1
The cat chases the cow.
("cat" "chases" "cow" "+")
int2
The cow likes the cat.
("cow" "likes" "cat" "+")
int3
((((((triple6 triple8) -> (rule1 % int3)) triple6) -> (rule4 % int2)) triple15) -> (rule2 % int1))
The cat is kind.
("cat" "is" "kind" "+")
int1
The cat chases the cow.
("cat" "chases" "cow" "+")
int2
The cow likes the cat.
("cow" "likes" "cat" "+")
int3
The cat is young.
("cat" "is" "young" "+")
triple6
The cat likes the cow.
("cat" "likes" "cow" "+")
triple7
((triple14 triple1) -> (rule6 % int1))
The cat likes the cow.
("cat" "likes" "cow" "+")
int1
((triple9 triple12) -> (rule7 % int1))
The cat likes the cow.
("cat" "likes" "cow" "+")
int1
((triple14 ((triple14 triple6) -> (rule4 % int2))) -> (rule6 % int1))
The cat likes the cow.
("cat" "likes" "cow" "+")
int1
The cat chases the cow.
("cat" "chases" "cow" "+")
int2
((((triple8) -> (rule8 % int2)) triple1) -> (rule6 % int1))
The cat likes the cow.
("cat" "likes" "cow" "+")
int1
The cow likes the cat.
("cow" "likes" "cat" "+")
int2
((((triple6 triple8) -> (rule1 % int2)) triple1) -> (rule6 % int1))
The cat likes the cow.
("cat" "likes" "cow" "+")
int1
The cow likes the cat.
("cow" "likes" "cat" "+")
int2
((((triple8) -> (rule8 % int3)) ((triple14 triple6) -> (rule4 % int2))) -> (rule6 % int1))
The cat likes the cow.
("cat" "likes" "cow" "+")
int1
The cat chases the cow.
("cat" "chases" "cow" "+")
int2
The cow likes the cat.
("cow" "likes" "cat" "+")
int3
((((triple6 triple8) -> (rule1 % int3)) ((triple14 triple6) -> (rule4 % int2))) -> (rule6 % int1))
The cat likes the cow.
("cat" "likes" "cow" "+")
int1
The cat chases the cow.
("cat" "chases" "cow" "+")
int2
The cow likes the cat.
("cow" "likes" "cat" "+")
int3
((triple14 ((((triple8) -> (rule8 % int3)) triple6) -> (rule4 % int2))) -> (rule6 % int1))
The cat likes the cow.
("cat" "likes" "cow" "+")
int1
The cat chases the cow.
("cat" "chases" "cow" "+")
int2
The cow likes the cat.
("cow" "likes" "cat" "+")
int3
((triple14 ((((triple6 triple8) -> (rule1 % int3)) triple6) -> (rule4 % int2))) -> (rule6 % int1))
The cat likes the cow.
("cat" "likes" "cow" "+")
int1
The cat chases the cow.
("cat" "chases" "cow" "+")
int2
The cow likes the cat.
("cow" "likes" "cat" "+")
int3
((((triple8) -> (rule8 % int3)) ((((triple8) -> (rule8 % int3)) triple6) -> (rule4 % int2))) -> (rule6 % int1))
The cat likes the cow.
("cat" "likes" "cow" "+")
int1
The cat chases the cow.
("cat" "chases" "cow" "+")
int2
The cow likes the cat.
("cow" "likes" "cat" "+")
int3
((((triple8) -> (rule8 % int3)) ((((triple6 triple8) -> (rule1 % int3)) triple6) -> (rule4 % int2))) -> (rule6 % int1))
The cat likes the cow.
("cat" "likes" "cow" "+")
int1
The cat chases the cow.
("cat" "chases" "cow" "+")
int2
The cow likes the cat.
("cow" "likes" "cat" "+")
int3
((((triple6 triple8) -> (rule1 % int3)) ((((triple8) -> (rule8 % int3)) triple6) -> (rule4 % int2))) -> (rule6 % int1))
The cat likes the cow.
("cat" "likes" "cow" "+")
int1
The cat chases the cow.
("cat" "chases" "cow" "+")
int2
The cow likes the cat.
("cow" "likes" "cat" "+")
int3
((((triple6 triple8) -> (rule1 % int3)) ((((triple6 triple8) -> (rule1 % int3)) triple6) -> (rule4 % int2))) -> (rule6 % int1))
The cat likes the cow.
("cat" "likes" "cow" "+")
int1
The cat chases the cow.
("cat" "chases" "cow" "+")
int2
The cow likes the cat.
("cow" "likes" "cat" "+")
int3
The cat sees the cow.
("cat" "sees" "cow" "+")
triple8
The cow chases the cat.
("cow" "chases" "cat" "+")
triple9
The cow is big.
("cow" "is" "big" "+")
triple10
The cow is cold.
("cow" "is" "cold" "+")
triple11
The cow is kind.
("cow" "is" "kind" "+")
triple12
The cow is young.
("cow" "is" "young" "+")
triple13
The cow likes the cat.
("cow" "likes" "cat" "+")
triple14
((triple8) -> (rule8 % int1))
The cow likes the cat.
("cow" "likes" "cat" "+")
int1
((triple6 triple8) -> (rule1 % int1))
The cow likes the cat.
("cow" "likes" "cat" "+")
int1
The cow sees the cat.
("cow" "sees" "cat" "+")
triple15
The cat sees the cat.
("cat" "sees" "cat" "+")
((triple4 triple2) -> (rule3 % int1))
The cat sees the cat.
("cat" "sees" "cat" "+")
int1