The cat is green. The cat is nice. The cat visits the lion. The lion eats the cat. The lion is blue. The lion likes the mouse. The lion visits the cat. The lion visits the mouse. The mouse likes the lion. The mouse visits the cat. The rabbit eats the mouse. The rabbit is nice. The rabbit is round. The rabbit likes the lion. The rabbit visits the mouse. If something likes the cat and it eats the rabbit then the cat is blue. If something visits the rabbit then it eats the rabbit. If something is nice and it likes the cat then the cat visits the mouse. If the rabbit visits the cat and the rabbit likes the cat then the rabbit visits the lion. If something is round then it eats the cat. If the rabbit is green then the rabbit eats the mouse.
The cat is green.
("cat" "is" "green" "+")
The cat is nice.
("cat" "is" "nice" "+")
The cat visits the lion.
("cat" "visits" "lion" "+")
The lion eats the cat.
("lion" "eats" "cat" "+")
The lion is blue.
("lion" "is" "blue" "+")
The lion likes the mouse.
("lion" "likes" "mouse" "+")
The lion visits the cat.
("lion" "visits" "cat" "+")
The lion visits the mouse.
("lion" "visits" "mouse" "+")
The mouse likes the lion.
("mouse" "likes" "lion" "+")
The mouse visits the cat.
("mouse" "visits" "cat" "+")
The rabbit eats the mouse.
("rabbit" "eats" "mouse" "+")
The rabbit is nice.
("rabbit" "is" "nice" "+")
The rabbit is round.
("rabbit" "is" "round" "+")
The rabbit likes the lion.
("rabbit" "likes" "lion" "+")
The rabbit visits the mouse.
("rabbit" "visits" "mouse" "+")
If something likes the cat and it eats the rabbit then the cat is blue.
((("something" "likes" "cat" "+") ("something" "eats" "rabbit" "+")) -> ("cat" "is" "blue" "+"))
If something visits the rabbit then it eats the rabbit.
((("something" "visits" "rabbit" "+")) -> ("something" "eats" "rabbit" "+"))
If something is nice and it likes the cat then the cat visits the mouse.
((("something" "is" "nice" "+") ("something" "likes" "cat" "+")) -> ("cat" "visits" "mouse" "+"))
If the rabbit visits the cat and the rabbit likes the cat then the rabbit visits the lion.
((("rabbit" "visits" "cat" "+") ("rabbit" "likes" "cat" "+")) -> ("rabbit" "visits" "lion" "+"))
If something is round then it eats the cat.
((("something" "is" "round" "+")) -> ("something" "eats" "cat" "+"))
If the rabbit is green then the rabbit eats the mouse.
((("rabbit" "is" "green" "+")) -> ("rabbit" "eats" "mouse" "+"))
The mouse likes the lion.
True
1
proof
[(triple9)]
("mouse" "likes" "lion" "+")
triple9
The lion is not blue.
False
1
inv-proof
[(triple5)]
("lion" "is" "blue" "-")
triple5
The rabbit eats the cat.
True
2
proof
[(((triple13) -> rule5))]
("rabbit" "eats" "cat" "+")
((triple13) -> (rule5 % int1))
The rabbit eats the cat.
("rabbit" "eats" "cat" "+")
int1
The rabbit does not eat the cat.
False
2
inv-proof
[(((triple13) -> rule5))]
("rabbit" "eats" "cat" "-")
((triple13) -> (rule5 % int1))
The rabbit eats the cat.
("rabbit" "eats" "cat" "+")
int1
The cat does not eat the cat.
Unknown
inv-rconc
[@1: The cat eats the cat.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("cat" "eats" "cat" "-")
The cat eats the rabbit.
Unknown
rconc
[@1: The cat eats the rabbit.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("cat" "eats" "rabbit" "+")
The lion does not eat the lion.
Unknown
inv-random
[@0: The lion eats the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "eats" "lion" "-")
The rabbit is green.
Unknown
random
[@0: The rabbit is green.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "green" "+")
@0: The cat is green.[(triple1)] The cat is nice.[(triple2)] The cat visits the lion.[(triple3)] The lion eats the cat.[(triple4)] The lion is blue.[(triple5)] The lion likes the mouse.[(triple6)] The lion visits the cat.[(triple7)] The lion visits the mouse.[(triple8)] The mouse likes the lion.[(triple9)] The mouse visits the cat.[(triple10)] The rabbit eats the mouse.[(triple11)] The rabbit is nice.[(triple12)] The rabbit is round.[(triple13)] The rabbit likes the lion.[(triple14)] The rabbit visits the mouse.[(triple15)] @1: The rabbit eats the cat.[(((triple13) -> rule5))]
The cat is green.
("cat" "is" "green" "+")
triple1
The cat is nice.
("cat" "is" "nice" "+")
triple2
The cat visits the lion.
("cat" "visits" "lion" "+")
triple3
The lion eats the cat.
("lion" "eats" "cat" "+")
triple4
The lion is blue.
("lion" "is" "blue" "+")
triple5
The lion likes the mouse.
("lion" "likes" "mouse" "+")
triple6
The lion visits the cat.
("lion" "visits" "cat" "+")
triple7
The lion visits the mouse.
("lion" "visits" "mouse" "+")
triple8
The mouse likes the lion.
("mouse" "likes" "lion" "+")
triple9
The mouse visits the cat.
("mouse" "visits" "cat" "+")
triple10
The rabbit eats the mouse.
("rabbit" "eats" "mouse" "+")
triple11
The rabbit is nice.
("rabbit" "is" "nice" "+")
triple12
The rabbit is round.
("rabbit" "is" "round" "+")
triple13
The rabbit likes the lion.
("rabbit" "likes" "lion" "+")
triple14
The rabbit visits the mouse.
("rabbit" "visits" "mouse" "+")
triple15
The rabbit eats the cat.
("rabbit" "eats" "cat" "+")
((triple13) -> (rule5 % int1))
The rabbit eats the cat.
("rabbit" "eats" "cat" "+")
int1