The cat chases the cow. The cat is big. The cat is kind. The cat is nice. The cat is round. The cat likes the cow. The cat needs the cow. The cow chases the cat. The cow is big. The cow is green. The cow is kind. The cow is nice. The cow is round. The cow likes the cat. The cow needs the cat. If someone likes the cat and the cat is nice then the cat chases the cow.
The cat chases the cow.
("cat" "chases" "cow" "+")
The cat is big.
("cat" "is" "big" "+")
The cat is kind.
("cat" "is" "kind" "+")
The cat is nice.
("cat" "is" "nice" "+")
The cat is round.
("cat" "is" "round" "+")
The cat likes the cow.
("cat" "likes" "cow" "+")
The cat needs the cow.
("cat" "needs" "cow" "+")
The cow chases the cat.
("cow" "chases" "cat" "+")
The cow is big.
("cow" "is" "big" "+")
The cow is green.
("cow" "is" "green" "+")
The cow is kind.
("cow" "is" "kind" "+")
The cow is nice.
("cow" "is" "nice" "+")
The cow is round.
("cow" "is" "round" "+")
The cow likes the cat.
("cow" "likes" "cat" "+")
The cow needs the cat.
("cow" "needs" "cat" "+")
If someone likes the cat and the cat is nice then the cat chases the cow.
((("someone" "likes" "cat" "+") ("cat" "is" "nice" "+")) -> ("cat" "chases" "cow" "+"))
The cow needs the cat.
True
1
proof
[(triple15)]
("cow" "needs" "cat" "+")
triple15
The cow is not round.
False
1
inv-proof
[(triple13)]
("cow" "is" "round" "-")
triple13
The cow does not need the cow.
Unknown
inv-random
[@0: The cow needs the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "needs" "cow" "-")
The cat is green.
Unknown
random
[@0: The cat is green.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "green" "+")
@0: The cat chases the cow.[(triple1 OR ((triple14 triple4) -> rule1))] The cat is big.[(triple2)] The cat is kind.[(triple3)] The cat is nice.[(triple4)] The cat is round.[(triple5)] The cat likes the cow.[(triple6)] The cat needs the cow.[(triple7)] The cow chases the cat.[(triple8)] The cow is big.[(triple9)] The cow is green.[(triple10)] The cow is kind.[(triple11)] The cow is nice.[(triple12)] The cow is round.[(triple13)] The cow likes the cat.[(triple14)] The cow needs the cat.[(triple15)]
The cat chases the cow.
("cat" "chases" "cow" "+")
triple1
((triple14 triple4) -> (rule1 % int1))
The cat chases the cow.
("cat" "chases" "cow" "+")
int1
The cat is big.
("cat" "is" "big" "+")
triple2
The cat is kind.
("cat" "is" "kind" "+")
triple3
The cat is nice.
("cat" "is" "nice" "+")
triple4
The cat is round.
("cat" "is" "round" "+")
triple5
The cat likes the cow.
("cat" "likes" "cow" "+")
triple6
The cat needs the cow.
("cat" "needs" "cow" "+")
triple7
The cow chases the cat.
("cow" "chases" "cat" "+")
triple8
The cow is big.
("cow" "is" "big" "+")
triple9
The cow is green.
("cow" "is" "green" "+")
triple10
The cow is kind.
("cow" "is" "kind" "+")
triple11
The cow is nice.
("cow" "is" "nice" "+")
triple12
The cow is round.
("cow" "is" "round" "+")
triple13
The cow likes the cat.
("cow" "likes" "cat" "+")
triple14
The cow needs the cat.
("cow" "needs" "cat" "+")
triple15