The cat visits the rabbit. The dog eats the lion. The lion is kind. The rabbit needs the cat. If someone eats the rabbit and the rabbit visits the dog then the dog needs the lion. If someone eats the lion and they need the cat then they are rough. If someone is blue and round then they need the lion. If the dog is kind then the dog needs the rabbit. If someone eats the lion and the lion needs the cat then the lion is round. If someone eats the rabbit then the rabbit eats the cat. If the dog is round and the dog is blue then the dog visits the rabbit. If someone eats the lion then they are red.
The cat visits the rabbit.
("cat" "visits" "rabbit" "+")
The dog eats the lion.
("dog" "eats" "lion" "+")
The lion is kind.
("lion" "is" "kind" "+")
The rabbit needs the cat.
("rabbit" "needs" "cat" "+")
If someone eats the rabbit and the rabbit visits the dog then the dog needs the lion.
((("someone" "eats" "rabbit" "+") ("rabbit" "visits" "dog" "+")) -> ("dog" "needs" "lion" "+"))
If someone eats the lion and they need the cat then they are rough.
((("someone" "eats" "lion" "+") ("someone" "needs" "cat" "+")) -> ("someone" "is" "rough" "+"))
If someone is blue and round then they need the lion.
((("someone" "is" "blue" "+") ("someone" "is" "round" "+")) -> ("someone" "needs" "lion" "+"))
If the dog is kind then the dog needs the rabbit.
((("dog" "is" "kind" "+")) -> ("dog" "needs" "rabbit" "+"))
If someone eats the lion and the lion needs the cat then the lion is round.
((("someone" "eats" "lion" "+") ("lion" "needs" "cat" "+")) -> ("lion" "is" "round" "+"))
If someone eats the rabbit then the rabbit eats the cat.
((("someone" "eats" "rabbit" "+")) -> ("rabbit" "eats" "cat" "+"))
If the dog is round and the dog is blue then the dog visits the rabbit.
((("dog" "is" "round" "+") ("dog" "is" "blue" "+")) -> ("dog" "visits" "rabbit" "+"))
If someone eats the lion then they are red.
((("someone" "eats" "lion" "+")) -> ("someone" "is" "red" "+"))
The rabbit needs the cat.
True
1
proof
[(triple4)]
("rabbit" "needs" "cat" "+")
triple4
The dog does not eat the lion.
False
1
inv-proof
[(triple2)]
("dog" "eats" "lion" "-")
triple2
The dog is red.
True
2
proof
[(((triple2) -> rule8))]
("dog" "is" "red" "+")
((triple2) -> (rule8 % int1))
The dog is red.
("dog" "is" "red" "+")
int1
The dog is not red.
False
2
inv-proof
[(((triple2) -> rule8))]
("dog" "is" "red" "-")
((triple2) -> (rule8 % int1))
The dog is red.
("dog" "is" "red" "+")
int1
The dog does not visit the rabbit.
Unknown
inv-rconc
[@1: The dog visits the rabbit.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("dog" "visits" "rabbit" "-")
The rabbit is red.
Unknown
rconc
[@1: The rabbit is red.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("rabbit" "is" "red" "+")
The lion does not visit the lion.
Unknown
inv-random
[@0: The lion visits the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "visits" "lion" "-")
The lion visits the dog.
Unknown
random
[@0: The lion visits the dog.[CWA. Example of deepest failure = (FAIL)]]
("lion" "visits" "dog" "+")
@0: The cat visits the rabbit.[(triple1)] The dog eats the lion.[(triple2)] The lion is kind.[(triple3)] The rabbit needs the cat.[(triple4)] @1: The dog is red.[(((triple2) -> rule8))]
The cat visits the rabbit.
("cat" "visits" "rabbit" "+")
triple1
The dog eats the lion.
("dog" "eats" "lion" "+")
triple2
The lion is kind.
("lion" "is" "kind" "+")
triple3
The rabbit needs the cat.
("rabbit" "needs" "cat" "+")
triple4
The dog is red.
("dog" "is" "red" "+")
((triple2) -> (rule8 % int1))
The dog is red.
("dog" "is" "red" "+")
int1