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