The dog needs the lion. The lion eats the dog. The lion is rough. The lion needs the dog. The lion sees the rabbit. The rabbit is big. The rabbit sees the dog. If the dog eats the lion and the lion eats the dog then the lion is rough. If someone sees the lion then the lion eats the dog. If the rabbit is green then the rabbit sees the lion.
The dog needs the lion.
("dog" "needs" "lion" "+")
The lion eats the dog.
("lion" "eats" "dog" "+")
The lion is rough.
("lion" "is" "rough" "+")
The lion needs the dog.
("lion" "needs" "dog" "+")
The lion sees the rabbit.
("lion" "sees" "rabbit" "+")
The rabbit is big.
("rabbit" "is" "big" "+")
The rabbit sees the dog.
("rabbit" "sees" "dog" "+")
If the dog eats the lion and the lion eats the dog then the lion is rough.
((("dog" "eats" "lion" "+") ("lion" "eats" "dog" "+")) -> ("lion" "is" "rough" "+"))
If someone sees the lion then the lion eats the dog.
((("someone" "sees" "lion" "+")) -> ("lion" "eats" "dog" "+"))
If the rabbit is green then the rabbit sees the lion.
((("rabbit" "is" "green" "+")) -> ("rabbit" "sees" "lion" "+"))
The lion sees the rabbit.
True
1
proof
[(triple5)]
("lion" "sees" "rabbit" "+")
triple5
The rabbit is not big.
False
1
inv-proof
[(triple6)]
("rabbit" "is" "big" "-")
triple6
The rabbit does not see the lion.
Unknown
inv-rconc
[@1: The rabbit sees the lion.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("rabbit" "sees" "lion" "-")
The dog sees the rabbit.
Unknown
random
[@0: The dog sees the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("dog" "sees" "rabbit" "+")
@0: The dog needs the lion.[(triple1)] The lion eats the dog.[(triple2)] The lion is rough.[(triple3)] The lion needs the dog.[(triple4)] The lion sees the rabbit.[(triple5)] The rabbit is big.[(triple6)] The rabbit sees the dog.[(triple7)]
The dog needs the lion.
("dog" "needs" "lion" "+")
triple1
The lion eats the dog.
("lion" "eats" "dog" "+")
triple2
The lion is rough.
("lion" "is" "rough" "+")
triple3
The lion needs the dog.
("lion" "needs" "dog" "+")
triple4
The lion sees the rabbit.
("lion" "sees" "rabbit" "+")
triple5
The rabbit is big.
("rabbit" "is" "big" "+")
triple6
The rabbit sees the dog.
("rabbit" "sees" "dog" "+")
triple7