The cat eats the rabbit. The cat is not red. The cat does not like the rabbit. The cat does not see the lion. The lion likes the cat. The lion sees the rabbit. The rabbit eats the cat. The rabbit is blue. The rabbit is red. The rabbit is rough. The rabbit does not like the cat. The rabbit likes the lion. If something is red then it sees the cat. If something is nice then it sees the cat. If something is blue and it does not like the lion then it does not see the lion. If the rabbit eats the cat and the cat is young then the cat eats the lion. If something sees the lion and it does not like the lion then the lion sees the rabbit. If something likes the cat then it does not eat the lion. If something likes the cat and it is not nice then it eats the cat. If something is young and it likes the lion then it likes the cat.
The cat eats the rabbit.
("cat" "eats" "rabbit" "+")
The cat is not red.
("cat" "is" "red" "-")
The cat does not like the rabbit.
("cat" "likes" "rabbit" "-")
The cat does not see the lion.
("cat" "sees" "lion" "-")
The lion likes the cat.
("lion" "likes" "cat" "+")
The lion sees the rabbit.
("lion" "sees" "rabbit" "+")
The rabbit eats the cat.
("rabbit" "eats" "cat" "+")
The rabbit is blue.
("rabbit" "is" "blue" "+")
The rabbit is red.
("rabbit" "is" "red" "+")
The rabbit is rough.
("rabbit" "is" "rough" "+")
The rabbit does not like the cat.
("rabbit" "likes" "cat" "-")
The rabbit likes the lion.
("rabbit" "likes" "lion" "+")
If something is red then it sees the cat.
((("something" "is" "red" "+")) -> ("something" "sees" "cat" "+"))
If something is nice then it sees the cat.
((("something" "is" "nice" "+")) -> ("something" "sees" "cat" "+"))
If something is blue and it does not like the lion then it does not see the lion.
((("something" "is" "blue" "+") ("something" "likes" "lion" "~")) -> ("something" "sees" "lion" "-"))
If the rabbit eats the cat and the cat is young then the cat eats the lion.
((("rabbit" "eats" "cat" "+") ("cat" "is" "young" "+")) -> ("cat" "eats" "lion" "+"))
If something sees the lion and it does not like the lion then the lion sees the rabbit.
((("something" "sees" "lion" "+") ("something" "likes" "lion" "~")) -> ("lion" "sees" "rabbit" "+"))
If something likes the cat then it does not eat the lion.
((("something" "likes" "cat" "+")) -> ("something" "eats" "lion" "-"))
If something likes the cat and it is not nice then it eats the cat.
((("something" "likes" "cat" "+") ("something" "is" "nice" "~")) -> ("something" "eats" "cat" "+"))
If something is young and it likes the lion then it likes the cat.
((("something" "is" "young" "+") ("something" "likes" "lion" "+")) -> ("something" "likes" "cat" "+"))
The rabbit likes the lion.
True
1
proof
[(triple12)]
("rabbit" "likes" "lion" "+")
triple12
The cat likes the rabbit.
False
1
inv-proof
[(triple3)]
("cat" "likes" "rabbit" "+")
triple3
The lion does not eat the lion.
True
2
proof
[(((triple5) -> rule6))]
("lion" "eats" "lion" "-")
((triple5) -> (rule6 % int1))
The lion does not eat the lion.
("lion" "eats" "lion" "-")
int1
The lion eats the lion.
False
2
inv-proof
[(((triple5) -> rule6))]
("lion" "eats" "lion" "+")
((triple5) -> (rule6 % int1))
The lion does not eat the lion.
("lion" "eats" "lion" "-")
int1
The lion does not eat the cat.
Unknown
inv-rconc
[@1: The lion eats the cat.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("lion" "eats" "cat" "-")
The cat likes the cat.
Unknown
rconc
[@1: The cat likes the cat.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("cat" "likes" "cat" "+")
The cat is not blue.
Unknown
inv-random
[@0: The cat is blue.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "blue" "-")
The rabbit is young.
Unknown
random
[@0: The rabbit is young.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "young" "+")
@0: The cat does not like the rabbit.[(triple3)] The cat does not see the lion.[(triple4)] The cat eats the rabbit.[(triple1)] The cat is not red.[(triple2)] The lion likes the cat.[(triple5)] The lion sees the rabbit.[(triple6)] The rabbit does not like the cat.[(triple11)] The rabbit eats the cat.[(triple7)] The rabbit is blue.[(triple8)] The rabbit is red.[(triple9)] The rabbit is rough.[(triple10)] The rabbit likes the lion.[(triple12)] @1: The lion does not eat the lion.[(((triple5) -> rule6))] The rabbit sees the cat.[(((triple9) -> rule1))]
The cat does not like the rabbit.
("cat" "likes" "rabbit" "-")
triple3
The cat does not see the lion.
("cat" "sees" "lion" "-")
triple4
The cat eats the rabbit.
("cat" "eats" "rabbit" "+")
triple1
The cat is not red.
("cat" "is" "red" "-")
triple2
The lion likes the cat.
("lion" "likes" "cat" "+")
triple5
The lion sees the rabbit.
("lion" "sees" "rabbit" "+")
triple6
The rabbit does not like the cat.
("rabbit" "likes" "cat" "-")
triple11
The rabbit eats the cat.
("rabbit" "eats" "cat" "+")
triple7
The rabbit is blue.
("rabbit" "is" "blue" "+")
triple8
The rabbit is red.
("rabbit" "is" "red" "+")
triple9
The rabbit is rough.
("rabbit" "is" "rough" "+")
triple10
The rabbit likes the lion.
("rabbit" "likes" "lion" "+")
triple12
The lion does not eat the lion.
("lion" "eats" "lion" "-")
((triple5) -> (rule6 % int1))
The lion does not eat the lion.
("lion" "eats" "lion" "-")
int1
The rabbit sees the cat.
("rabbit" "sees" "cat" "+")
((triple9) -> (rule1 % int1))
The rabbit sees the cat.
("rabbit" "sees" "cat" "+")
int1