The cow is red. The rabbit chases the tiger. The rabbit is red. The rabbit is rough. The rabbit likes the cow. The tiger chases the rabbit. The tiger is big. The tiger is blue. The tiger likes the cow. The tiger visits the rabbit. If someone visits the tiger and the tiger likes the cow then the cow does not like the rabbit. If someone is rough and they visit the rabbit then they are blue.
The cow is red.
("cow" "is" "red" "+")
The rabbit chases the tiger.
("rabbit" "chases" "tiger" "+")
The rabbit is red.
("rabbit" "is" "red" "+")
The rabbit is rough.
("rabbit" "is" "rough" "+")
The rabbit likes the cow.
("rabbit" "likes" "cow" "+")
The tiger chases the rabbit.
("tiger" "chases" "rabbit" "+")
The tiger is big.
("tiger" "is" "big" "+")
The tiger is blue.
("tiger" "is" "blue" "+")
The tiger likes the cow.
("tiger" "likes" "cow" "+")
The tiger visits the rabbit.
("tiger" "visits" "rabbit" "+")
If someone visits the tiger and the tiger likes the cow then the cow does not like the rabbit.
((("someone" "visits" "tiger" "+") ("tiger" "likes" "cow" "+")) -> ("cow" "likes" "rabbit" "-"))
If someone is rough and they visit the rabbit then they are blue.
((("someone" "is" "rough" "+") ("someone" "visits" "rabbit" "+")) -> ("someone" "is" "blue" "+"))
The rabbit is rough.
True
1
proof
[(triple4)]
("rabbit" "is" "rough" "+")
triple4
The tiger does not chase the rabbit.
False
1
inv-proof
[(triple6)]
("tiger" "chases" "rabbit" "-")
triple6
The rabbit is not blue.
Unknown
inv-rconc
[@1: The rabbit is blue.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("rabbit" "is" "blue" "-")
The cow likes the cow.
Unknown
random
[@0: The cow likes the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "likes" "cow" "+")
@0: The cow is red.[(triple1)] The rabbit chases the tiger.[(triple2)] The rabbit is red.[(triple3)] The rabbit is rough.[(triple4)] The rabbit likes the cow.[(triple5)] The tiger chases the rabbit.[(triple6)] The tiger is big.[(triple7)] The tiger is blue.[(triple8)] The tiger likes the cow.[(triple9)] The tiger visits the rabbit.[(triple10)]
The cow is red.
("cow" "is" "red" "+")
triple1
The rabbit chases the tiger.
("rabbit" "chases" "tiger" "+")
triple2
The rabbit is red.
("rabbit" "is" "red" "+")
triple3
The rabbit is rough.
("rabbit" "is" "rough" "+")
triple4
The rabbit likes the cow.
("rabbit" "likes" "cow" "+")
triple5
The tiger chases the rabbit.
("tiger" "chases" "rabbit" "+")
triple6
The tiger is big.
("tiger" "is" "big" "+")
triple7
The tiger is blue.
("tiger" "is" "blue" "+")
triple8
The tiger likes the cow.
("tiger" "likes" "cow" "+")
triple9
The tiger visits the rabbit.
("tiger" "visits" "rabbit" "+")
triple10