The rabbit chases the squirrel. The rabbit eats the tiger. The rabbit likes the squirrel. The squirrel chases the rabbit. The squirrel chases the tiger. The tiger chases the squirrel. The tiger is big. If someone is nice and they chase the rabbit then they are big.
The rabbit chases the squirrel.
("rabbit" "chases" "squirrel" "+")
The rabbit eats the tiger.
("rabbit" "eats" "tiger" "+")
The rabbit likes the squirrel.
("rabbit" "likes" "squirrel" "+")
The squirrel chases the rabbit.
("squirrel" "chases" "rabbit" "+")
The squirrel chases the tiger.
("squirrel" "chases" "tiger" "+")
The tiger chases the squirrel.
("tiger" "chases" "squirrel" "+")
The tiger is big.
("tiger" "is" "big" "+")
If someone is nice and they chase the rabbit then they are big.
((("someone" "is" "nice" "+") ("someone" "chases" "rabbit" "+")) -> ("someone" "is" "big" "+"))
The squirrel chases the rabbit.
True
1
proof
[(triple4)]
("squirrel" "chases" "rabbit" "+")
triple4
The rabbit does not like the squirrel.
False
1
inv-proof
[(triple3)]
("rabbit" "likes" "squirrel" "-")
triple3
The squirrel is not big.
Unknown
inv-rconc
[@1: The squirrel is big.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("squirrel" "is" "big" "-")
The squirrel chases the squirrel.
Unknown
random
[@0: The squirrel chases the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "chases" "squirrel" "+")
@0: The rabbit chases the squirrel.[(triple1)] The rabbit eats the tiger.[(triple2)] The rabbit likes the squirrel.[(triple3)] The squirrel chases the rabbit.[(triple4)] The squirrel chases the tiger.[(triple5)] The tiger chases the squirrel.[(triple6)] The tiger is big.[(triple7)]
The rabbit chases the squirrel.
("rabbit" "chases" "squirrel" "+")
triple1
The rabbit eats the tiger.
("rabbit" "eats" "tiger" "+")
triple2
The rabbit likes the squirrel.
("rabbit" "likes" "squirrel" "+")
triple3
The squirrel chases the rabbit.
("squirrel" "chases" "rabbit" "+")
triple4
The squirrel chases the tiger.
("squirrel" "chases" "tiger" "+")
triple5
The tiger chases the squirrel.
("tiger" "chases" "squirrel" "+")
triple6
The tiger is big.
("tiger" "is" "big" "+")
triple7