The cat is big. The cow eats the cat. The cow eats the rabbit. The cow is big. The cow is blue. The cow is rough. The cow sees the cat. The cow visits the cat. The cow visits the rabbit. The rabbit eats the cat. The rabbit eats the cow. The rabbit sees the cat. If the cow is nice then the cow visits the rabbit.
The cat is big.
("cat" "is" "big" "+")
The cow eats the cat.
("cow" "eats" "cat" "+")
The cow eats the rabbit.
("cow" "eats" "rabbit" "+")
The cow is big.
("cow" "is" "big" "+")
The cow is blue.
("cow" "is" "blue" "+")
The cow is rough.
("cow" "is" "rough" "+")
The cow sees the cat.
("cow" "sees" "cat" "+")
The cow visits the cat.
("cow" "visits" "cat" "+")
The cow visits the rabbit.
("cow" "visits" "rabbit" "+")
The rabbit eats the cat.
("rabbit" "eats" "cat" "+")
The rabbit eats the cow.
("rabbit" "eats" "cow" "+")
The rabbit sees the cat.
("rabbit" "sees" "cat" "+")
If the cow is nice then the cow visits the rabbit.
((("cow" "is" "nice" "+")) -> ("cow" "visits" "rabbit" "+"))
The rabbit eats the cow.
True
1
proof
[(triple11)]
("rabbit" "eats" "cow" "+")
triple11
The rabbit does not eat the cat.
False
1
inv-proof
[(triple10)]
("rabbit" "eats" "cat" "-")
triple10
The cat is not cold.
Unknown
inv-random
[@0: The cat is cold.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "cold" "-")
The cat sees the cow.
Unknown
random
[@0: The cat sees the cow.[CWA. Example of deepest failure = (FAIL)]]
("cat" "sees" "cow" "+")
@0: The cat is big.[(triple1)] The cow eats the cat.[(triple2)] The cow eats the rabbit.[(triple3)] The cow is big.[(triple4)] The cow is blue.[(triple5)] The cow is rough.[(triple6)] The cow sees the cat.[(triple7)] The cow visits the cat.[(triple8)] The cow visits the rabbit.[(triple9)] The rabbit eats the cat.[(triple10)] The rabbit eats the cow.[(triple11)] The rabbit sees the cat.[(triple12)]
The cat is big.
("cat" "is" "big" "+")
triple1
The cow eats the cat.
("cow" "eats" "cat" "+")
triple2
The cow eats the rabbit.
("cow" "eats" "rabbit" "+")
triple3
The cow is big.
("cow" "is" "big" "+")
triple4
The cow is blue.
("cow" "is" "blue" "+")
triple5
The cow is rough.
("cow" "is" "rough" "+")
triple6
The cow sees the cat.
("cow" "sees" "cat" "+")
triple7
The cow visits the cat.
("cow" "visits" "cat" "+")
triple8
The cow visits the rabbit.
("cow" "visits" "rabbit" "+")
triple9
The rabbit eats the cat.
("rabbit" "eats" "cat" "+")
triple10
The rabbit eats the cow.
("rabbit" "eats" "cow" "+")
triple11
The rabbit sees the cat.
("rabbit" "sees" "cat" "+")
triple12