The bear eats the cat. The bear is round. The cat is green. The cat is nice. The cat likes the bear. The lion eats the bear. The lion is round. If someone likes the bear then the bear likes the lion. If the bear likes the lion and the bear is round then the lion needs the cat. If someone needs the cat then the cat eats the bear.
The bear eats the cat.
("bear" "eats" "cat" "+")
The bear is round.
("bear" "is" "round" "+")
The cat is green.
("cat" "is" "green" "+")
The cat is nice.
("cat" "is" "nice" "+")
The cat likes the bear.
("cat" "likes" "bear" "+")
The lion eats the bear.
("lion" "eats" "bear" "+")
The lion is round.
("lion" "is" "round" "+")
If someone likes the bear then the bear likes the lion.
((("someone" "likes" "bear" "+")) -> ("bear" "likes" "lion" "+"))
If the bear likes the lion and the bear is round then the lion needs the cat.
((("bear" "likes" "lion" "+") ("bear" "is" "round" "+")) -> ("lion" "needs" "cat" "+"))
If someone needs the cat then the cat eats the bear.
((("someone" "needs" "cat" "+")) -> ("cat" "eats" "bear" "+"))
The lion eats the bear.
True
1
proof
[(triple6)]
("lion" "eats" "bear" "+")
triple6
The bear does not eat the cat.
False
1
inv-proof
[(triple1)]
("bear" "eats" "cat" "-")
triple1
The bear likes the lion.
True
2
proof
[(((triple5) -> rule1))]
("bear" "likes" "lion" "+")
((triple5) -> (rule1 % int1))
The bear likes the lion.
("bear" "likes" "lion" "+")
int1
The bear does not like the lion.
False
2
inv-proof
[(((triple5) -> rule1))]
("bear" "likes" "lion" "-")
((triple5) -> (rule1 % int1))
The bear likes the lion.
("bear" "likes" "lion" "+")
int1
The lion needs the cat.
True
4
proof
[(((((triple5) -> rule1) triple2) -> rule2))]
("lion" "needs" "cat" "+")
((((triple5) -> (rule1 % int2)) triple2) -> (rule2 % int1))
The lion needs the cat.
("lion" "needs" "cat" "+")
int1
The bear likes the lion.
("bear" "likes" "lion" "+")
int2
The lion does not need the cat.
False
4
inv-proof
[(((((triple5) -> rule1) triple2) -> rule2))]
("lion" "needs" "cat" "-")
((((triple5) -> (rule1 % int2)) triple2) -> (rule2 % int1))
The lion needs the cat.
("lion" "needs" "cat" "+")
int1
The bear likes the lion.
("bear" "likes" "lion" "+")
int2
The cat eats the bear.
True
5
proof
[(((((((triple5) -> rule1) triple2) -> rule2)) -> rule3))]
("cat" "eats" "bear" "+")
((((((triple5) -> (rule1 % int3)) triple2) -> (rule2 % int2))) -> (rule3 % int1))
The cat eats the bear.
("cat" "eats" "bear" "+")
int1
The lion needs the cat.
("lion" "needs" "cat" "+")
int2
The bear likes the lion.
("bear" "likes" "lion" "+")
int3
The cat does not eat the bear.
False
5
inv-proof
[(((((((triple5) -> rule1) triple2) -> rule2)) -> rule3))]
("cat" "eats" "bear" "-")
((((((triple5) -> (rule1 % int3)) triple2) -> (rule2 % int2))) -> (rule3 % int1))
The cat eats the bear.
("cat" "eats" "bear" "+")
int1
The lion needs the cat.
("lion" "needs" "cat" "+")
int2
The bear likes the lion.
("bear" "likes" "lion" "+")
int3
The lion does not need the lion.
Unknown
inv-random
[@0: The lion needs the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "needs" "lion" "-")
The cat needs the cat.
Unknown
random
[@0: The cat needs the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "needs" "cat" "+")
The bear does not like the bear.
Unknown
inv-random
[@0: The bear likes the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "likes" "bear" "-")
The cat eats the lion.
Unknown
random
[@0: The cat eats the lion.[CWA. Example of deepest failure = (FAIL)]]
("cat" "eats" "lion" "+")
The bear does not eat the lion.
Unknown
inv-random
[@0: The bear eats the lion.[CWA. Example of deepest failure = (FAIL)]]
("bear" "eats" "lion" "-")
The bear needs the cat.
Unknown
random
[@0: The bear needs the cat.[CWA. Example of deepest failure = (FAIL)]]
("bear" "needs" "cat" "+")
The bear does not like the cat.
Unknown
inv-random
[@0: The bear likes the cat.[CWA. Example of deepest failure = (FAIL)]]
("bear" "likes" "cat" "-")
The bear needs the bear.
Unknown
random
[@0: The bear needs the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "needs" "bear" "+")
@0: The bear eats the cat.[(triple1)] The bear is round.[(triple2)] The cat is green.[(triple3)] The cat is nice.[(triple4)] The cat likes the bear.[(triple5)] The lion eats the bear.[(triple6)] The lion is round.[(triple7)] @1: The bear likes the lion.[(((triple5) -> rule1))] @2: The lion needs the cat.[(((((triple5) -> rule1) triple2) -> rule2))] @3: The cat eats the bear.[(((((((triple5) -> rule1) triple2) -> rule2)) -> rule3))]
The bear eats the cat.
("bear" "eats" "cat" "+")
triple1
The bear is round.
("bear" "is" "round" "+")
triple2
The cat is green.
("cat" "is" "green" "+")
triple3
The cat is nice.
("cat" "is" "nice" "+")
triple4
The cat likes the bear.
("cat" "likes" "bear" "+")
triple5
The lion eats the bear.
("lion" "eats" "bear" "+")
triple6
The lion is round.
("lion" "is" "round" "+")
triple7
The bear likes the lion.
("bear" "likes" "lion" "+")
((triple5) -> (rule1 % int1))
The bear likes the lion.
("bear" "likes" "lion" "+")
int1
The lion needs the cat.
("lion" "needs" "cat" "+")
((((triple5) -> (rule1 % int2)) triple2) -> (rule2 % int1))
The lion needs the cat.
("lion" "needs" "cat" "+")
int1
The bear likes the lion.
("bear" "likes" "lion" "+")
int2
The cat eats the bear.
("cat" "eats" "bear" "+")
((((((triple5) -> (rule1 % int3)) triple2) -> (rule2 % int2))) -> (rule3 % int1))
The cat eats the bear.
("cat" "eats" "bear" "+")
int1
The lion needs the cat.
("lion" "needs" "cat" "+")
int2
The bear likes the lion.
("bear" "likes" "lion" "+")
int3