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