The lion likes the rabbit. The rabbit eats the squirrel. The squirrel is rough. If someone likes the rabbit then they visit the lion. If someone is nice then they eat the squirrel. If someone is nice and they like the rabbit then the rabbit visits the squirrel. If someone likes the rabbit then the rabbit likes the squirrel. If someone eats the lion then they are nice. If the lion visits the squirrel then the squirrel likes the lion.
The lion likes the rabbit.
("lion" "likes" "rabbit" "+")
The rabbit eats the squirrel.
("rabbit" "eats" "squirrel" "+")
The squirrel is rough.
("squirrel" "is" "rough" "+")
If someone likes the rabbit then they visit the lion.
((("someone" "likes" "rabbit" "+")) -> ("someone" "visits" "lion" "+"))
If someone is nice then they eat the squirrel.
((("someone" "is" "nice" "+")) -> ("someone" "eats" "squirrel" "+"))
If someone is nice and they like the rabbit then the rabbit visits the squirrel.
((("someone" "is" "nice" "+") ("someone" "likes" "rabbit" "+")) -> ("rabbit" "visits" "squirrel" "+"))
If someone likes the rabbit then the rabbit likes the squirrel.
((("someone" "likes" "rabbit" "+")) -> ("rabbit" "likes" "squirrel" "+"))
If someone eats the lion then they are nice.
((("someone" "eats" "lion" "+")) -> ("someone" "is" "nice" "+"))
If the lion visits the squirrel then the squirrel likes the lion.
((("lion" "visits" "squirrel" "+")) -> ("squirrel" "likes" "lion" "+"))
The rabbit eats the squirrel.
True
1
proof
[(triple2)]
("rabbit" "eats" "squirrel" "+")
triple2
The rabbit does not eat the squirrel.
False
1
inv-proof
[(triple2)]
("rabbit" "eats" "squirrel" "-")
triple2
The rabbit is not nice.
Unknown
inv-rconc
[@1: The rabbit is nice.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("rabbit" "is" "nice" "-")
The rabbit likes the rabbit.
Unknown
random
[@0: The rabbit likes the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "likes" "rabbit" "+")
@0: The lion likes the rabbit.[(triple1)] The rabbit eats the squirrel.[(triple2)] The squirrel is rough.[(triple3)] @1: The lion visits the lion.[(((triple1) -> rule1))] The rabbit likes the squirrel.[(((triple1) -> rule4))]
The lion likes the rabbit.
("lion" "likes" "rabbit" "+")
triple1
The rabbit eats the squirrel.
("rabbit" "eats" "squirrel" "+")
triple2
The squirrel is rough.
("squirrel" "is" "rough" "+")
triple3
The lion visits the lion.
("lion" "visits" "lion" "+")
((triple1) -> (rule1 % int1))
The lion visits the lion.
("lion" "visits" "lion" "+")
int1
The rabbit likes the squirrel.
("rabbit" "likes" "squirrel" "+")
((triple1) -> (rule4 % int1))
The rabbit likes the squirrel.
("rabbit" "likes" "squirrel" "+")
int1