The cat chases the rabbit. The cat eats the rabbit. The cat is big. The cat is nice. The cat is rough. The cat is round. The cat is young. The cat needs the rabbit. The rabbit chases the cat. The rabbit eats the cat. The rabbit is big. The rabbit is nice. The rabbit is not rough. The rabbit is round. The rabbit is young. The rabbit needs the cat. If something eats the rabbit and the rabbit does not eat the cat then the rabbit needs the cat.
The cat chases the rabbit.
("cat" "chases" "rabbit" "+")
The cat eats the rabbit.
("cat" "eats" "rabbit" "+")
The cat is big.
("cat" "is" "big" "+")
The cat is nice.
("cat" "is" "nice" "+")
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 rabbit.
("cat" "needs" "rabbit" "+")
The rabbit chases the cat.
("rabbit" "chases" "cat" "+")
The rabbit eats the cat.
("rabbit" "eats" "cat" "+")
The rabbit is big.
("rabbit" "is" "big" "+")
The rabbit is nice.
("rabbit" "is" "nice" "+")
The rabbit is not rough.
("rabbit" "is" "rough" "-")
The rabbit is round.
("rabbit" "is" "round" "+")
The rabbit is young.
("rabbit" "is" "young" "+")
The rabbit needs the cat.
("rabbit" "needs" "cat" "+")
If something eats the rabbit and the rabbit does not eat the cat then the rabbit needs the cat.
((("something" "eats" "rabbit" "+") ("rabbit" "eats" "cat" "~")) -> ("rabbit" "needs" "cat" "+"))
The cat is big.
True
1
proof
[(triple3)]
("cat" "is" "big" "+")
triple3
The cat does not need the rabbit.
False
1
inv-proof
[(triple8)]
("cat" "needs" "rabbit" "-")
triple8
The rabbit does not eat the rabbit.
Unknown
inv-random
[@0: The rabbit eats the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "eats" "rabbit" "-")
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 rabbit.[(triple1)] The cat eats the rabbit.[(triple2)] The cat is big.[(triple3)] The cat is nice.[(triple4)] The cat is rough.[(triple5)] The cat is round.[(triple6)] The cat is young.[(triple7)] The cat needs the rabbit.[(triple8)] The rabbit chases the cat.[(triple9)] The rabbit eats the cat.[(triple10)] The rabbit is big.[(triple11)] The rabbit is nice.[(triple12)] The rabbit is not rough.[(triple13)] The rabbit is round.[(triple14)] The rabbit is young.[(triple15)] The rabbit needs the cat.[(triple16)]
The cat chases the rabbit.
("cat" "chases" "rabbit" "+")
triple1
The cat eats the rabbit.
("cat" "eats" "rabbit" "+")
triple2
The cat is big.
("cat" "is" "big" "+")
triple3
The cat is nice.
("cat" "is" "nice" "+")
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 rabbit.
("cat" "needs" "rabbit" "+")
triple8
The rabbit chases the cat.
("rabbit" "chases" "cat" "+")
triple9
The rabbit eats the cat.
("rabbit" "eats" "cat" "+")
triple10
The rabbit is big.
("rabbit" "is" "big" "+")
triple11
The rabbit is nice.
("rabbit" "is" "nice" "+")
triple12
The rabbit is not rough.
("rabbit" "is" "rough" "-")
triple13
The rabbit is round.
("rabbit" "is" "round" "+")
triple14
The rabbit is young.
("rabbit" "is" "young" "+")
triple15
The rabbit needs the cat.
("rabbit" "needs" "cat" "+")
triple16