The dog chases the lion. The dog does not need the lion. The lion chases the dog. The lion eats the rabbit. The rabbit does not eat the dog. The rabbit is not young. The rabbit needs the dog. If someone is red and kind then they need the rabbit. If someone is red and they need the rabbit then they chase the lion. If someone is red and not kind then they chase the rabbit. If someone chases the rabbit then they are not round. If the dog chases the lion and the dog does not chase the rabbit then the rabbit does not need the lion. If someone is red and they need the lion then the lion does not need the dog.
The dog chases the lion.
("dog" "chases" "lion" "+")
The dog does not need the lion.
("dog" "needs" "lion" "-")
The lion chases the dog.
("lion" "chases" "dog" "+")
The lion eats the rabbit.
("lion" "eats" "rabbit" "+")
The rabbit does not eat the dog.
("rabbit" "eats" "dog" "-")
The rabbit is not young.
("rabbit" "is" "young" "-")
The rabbit needs the dog.
("rabbit" "needs" "dog" "+")
If someone is red and kind then they need the rabbit.
((("someone" "is" "red" "+") ("someone" "is" "kind" "+")) -> ("someone" "needs" "rabbit" "+"))
If someone is red and they need the rabbit then they chase the lion.
((("someone" "is" "red" "+") ("someone" "needs" "rabbit" "+")) -> ("someone" "chases" "lion" "+"))
If someone is red and not kind then they chase the rabbit.
((("someone" "is" "red" "+") ("someone" "is" "kind" "~")) -> ("someone" "chases" "rabbit" "+"))
If someone chases the rabbit then they are not round.
((("someone" "chases" "rabbit" "+")) -> ("someone" "is" "round" "-"))
If the dog chases the lion and the dog does not chase the rabbit then the rabbit does not need the lion.
((("dog" "chases" "lion" "+") ("dog" "chases" "rabbit" "~")) -> ("rabbit" "needs" "lion" "-"))
If someone is red and they need the lion then the lion does not need the dog.
((("someone" "is" "red" "+") ("someone" "needs" "lion" "+")) -> ("lion" "needs" "dog" "-"))
The rabbit needs the dog.
True
1
proof
[(triple7)]
("rabbit" "needs" "dog" "+")
triple7
The dog needs the lion.
False
1
inv-proof
[(triple2)]
("dog" "needs" "lion" "+")
triple2
The lion does not need the rabbit.
Unknown
inv-rconc
[@1: The lion needs the rabbit.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("lion" "needs" "rabbit" "-")
The rabbit needs the lion.
Unknown
random
[@0: The rabbit needs the lion.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "needs" "lion" "+")
@0: The dog chases the lion.[(triple1)] The dog does not need the lion.[(triple2)] The lion chases the dog.[(triple3)] The lion eats the rabbit.[(triple4)] The rabbit does not eat the dog.[(triple5)] The rabbit is not young.[(triple6)] The rabbit needs the dog.[(triple7)]
The dog chases the lion.
("dog" "chases" "lion" "+")
triple1
The dog does not need the lion.
("dog" "needs" "lion" "-")
triple2
The lion chases the dog.
("lion" "chases" "dog" "+")
triple3
The lion eats the rabbit.
("lion" "eats" "rabbit" "+")
triple4
The rabbit does not eat the dog.
("rabbit" "eats" "dog" "-")
triple5
The rabbit is not young.
("rabbit" "is" "young" "-")
triple6
The rabbit needs the dog.
("rabbit" "needs" "dog" "+")
triple7