The cow chases the rabbit. The cow chases the squirrel. The cow is rough. The cow likes the rabbit. The cow likes the squirrel. The cow sees the rabbit. The cow sees the squirrel. The rabbit chases the cow. The rabbit is cold. The rabbit likes the cow. The rabbit sees the cow. The rabbit sees the squirrel. The squirrel is big. The squirrel likes the cow. The squirrel sees the rabbit. If something is nice then it likes the rabbit.
The cow chases the rabbit.
("cow" "chases" "rabbit" "+")
The cow chases the squirrel.
("cow" "chases" "squirrel" "+")
The cow is rough.
("cow" "is" "rough" "+")
The cow likes the rabbit.
("cow" "likes" "rabbit" "+")
The cow likes the squirrel.
("cow" "likes" "squirrel" "+")
The cow sees the rabbit.
("cow" "sees" "rabbit" "+")
The cow sees the squirrel.
("cow" "sees" "squirrel" "+")
The rabbit chases the cow.
("rabbit" "chases" "cow" "+")
The rabbit is cold.
("rabbit" "is" "cold" "+")
The rabbit likes the cow.
("rabbit" "likes" "cow" "+")
The rabbit sees the cow.
("rabbit" "sees" "cow" "+")
The rabbit sees the squirrel.
("rabbit" "sees" "squirrel" "+")
The squirrel is big.
("squirrel" "is" "big" "+")
The squirrel likes the cow.
("squirrel" "likes" "cow" "+")
The squirrel sees the rabbit.
("squirrel" "sees" "rabbit" "+")
If something is nice then it likes the rabbit.
((("something" "is" "nice" "+")) -> ("something" "likes" "rabbit" "+"))
The cow sees the squirrel.
True
1
proof
[(triple7)]
("cow" "sees" "squirrel" "+")
triple7
The cow does not chase the rabbit.
False
1
inv-proof
[(triple1)]
("cow" "chases" "rabbit" "-")
triple1
The rabbit does not like the rabbit.
Unknown
inv-rconc
[@1: The rabbit likes the rabbit.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("rabbit" "likes" "rabbit" "-")
The cow is red.
Unknown
random
[@0: The cow is red.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "red" "+")
@0: The cow chases the rabbit.[(triple1)] The cow chases the squirrel.[(triple2)] The cow is rough.[(triple3)] The cow likes the rabbit.[(triple4)] The cow likes the squirrel.[(triple5)] The cow sees the rabbit.[(triple6)] The cow sees the squirrel.[(triple7)] The rabbit chases the cow.[(triple8)] The rabbit is cold.[(triple9)] The rabbit likes the cow.[(triple10)] The rabbit sees the cow.[(triple11)] The rabbit sees the squirrel.[(triple12)] The squirrel is big.[(triple13)] The squirrel likes the cow.[(triple14)] The squirrel sees the rabbit.[(triple15)]
The cow chases the rabbit.
("cow" "chases" "rabbit" "+")
triple1
The cow chases the squirrel.
("cow" "chases" "squirrel" "+")
triple2
The cow is rough.
("cow" "is" "rough" "+")
triple3
The cow likes the rabbit.
("cow" "likes" "rabbit" "+")
triple4
The cow likes the squirrel.
("cow" "likes" "squirrel" "+")
triple5
The cow sees the rabbit.
("cow" "sees" "rabbit" "+")
triple6
The cow sees the squirrel.
("cow" "sees" "squirrel" "+")
triple7
The rabbit chases the cow.
("rabbit" "chases" "cow" "+")
triple8
The rabbit is cold.
("rabbit" "is" "cold" "+")
triple9
The rabbit likes the cow.
("rabbit" "likes" "cow" "+")
triple10
The rabbit sees the cow.
("rabbit" "sees" "cow" "+")
triple11
The rabbit sees the squirrel.
("rabbit" "sees" "squirrel" "+")
triple12
The squirrel is big.
("squirrel" "is" "big" "+")
triple13
The squirrel likes the cow.
("squirrel" "likes" "cow" "+")
triple14
The squirrel sees the rabbit.
("squirrel" "sees" "rabbit" "+")
triple15