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