The bear eats the cat. The bear is green. The bear is red. The bear likes the cat. The bear needs the cat. The cat eats the bear. The cat is kind. The cat needs the lion. The lion eats the bear. The lion is nice. The lion is red. The lion likes the bear. The lion likes the cat. The lion needs the bear. The lion needs the cat. If someone is nice and they need the lion then the lion likes the bear. If someone eats the lion then they need the bear. If someone is kind then they need the cat. If the cat likes the lion then the lion needs the cat. If the cat likes the lion and the lion likes the bear then the bear is red. If someone is green and they need the lion then they eat the cat. If someone eats the cat then the cat eats the lion. If the bear needs the cat then the cat likes the bear.
The bear eats the cat.
("bear" "eats" "cat" "+")
The bear is green.
("bear" "is" "green" "+")
The bear is red.
("bear" "is" "red" "+")
The bear likes the cat.
("bear" "likes" "cat" "+")
The bear needs the cat.
("bear" "needs" "cat" "+")
The cat eats the bear.
("cat" "eats" "bear" "+")
The cat is kind.
("cat" "is" "kind" "+")
The cat needs the lion.
("cat" "needs" "lion" "+")
The lion eats the bear.
("lion" "eats" "bear" "+")
The lion is nice.
("lion" "is" "nice" "+")
The lion is red.
("lion" "is" "red" "+")
The lion likes the bear.
("lion" "likes" "bear" "+")
The lion likes the cat.
("lion" "likes" "cat" "+")
The lion needs the bear.
("lion" "needs" "bear" "+")
The lion needs the cat.
("lion" "needs" "cat" "+")
If someone is nice and they need the lion then the lion likes the bear.
((("someone" "is" "nice" "+") ("someone" "needs" "lion" "+")) -> ("lion" "likes" "bear" "+"))
If someone eats the lion then they need the bear.
((("someone" "eats" "lion" "+")) -> ("someone" "needs" "bear" "+"))
If someone is kind then they need the cat.
((("someone" "is" "kind" "+")) -> ("someone" "needs" "cat" "+"))
If the cat likes the lion then the lion needs the cat.
((("cat" "likes" "lion" "+")) -> ("lion" "needs" "cat" "+"))
If the cat likes the lion and the lion likes the bear then the bear is red.
((("cat" "likes" "lion" "+") ("lion" "likes" "bear" "+")) -> ("bear" "is" "red" "+"))
If someone is green and they need the lion then they eat the cat.
((("someone" "is" "green" "+") ("someone" "needs" "lion" "+")) -> ("someone" "eats" "cat" "+"))
If someone eats the cat then the cat eats the lion.
((("someone" "eats" "cat" "+")) -> ("cat" "eats" "lion" "+"))
If the bear needs the cat then the cat likes the bear.
((("bear" "needs" "cat" "+")) -> ("cat" "likes" "bear" "+"))
The lion likes the cat.
True
1
proof
[(triple13)]
("lion" "likes" "cat" "+")
triple13
The bear does not eat the cat.
False
1
inv-proof
[(triple1)]
("bear" "eats" "cat" "-")
triple1
The cat eats the lion.
True
2
proof
[(((triple1) -> rule7))]
("cat" "eats" "lion" "+")
((triple1) -> (rule7 % int1))
The cat eats the lion.
("cat" "eats" "lion" "+")
int1
The cat does not eat the lion.
False
2
inv-proof
[(((triple1) -> rule7))]
("cat" "eats" "lion" "-")
((triple1) -> (rule7 % int1))
The cat eats the lion.
("cat" "eats" "lion" "+")
int1
The cat needs the bear.
True
3
proof
[(((((triple1) -> rule7)) -> rule2))]
("cat" "needs" "bear" "+")
((((triple1) -> (rule7 % int2))) -> (rule2 % int1))
The cat needs the bear.
("cat" "needs" "bear" "+")
int1
The cat eats the lion.
("cat" "eats" "lion" "+")
int2
The cat does not need the bear.
False
3
inv-proof
[(((((triple1) -> rule7)) -> rule2))]
("cat" "needs" "bear" "-")
((((triple1) -> (rule7 % int2))) -> (rule2 % int1))
The cat needs the bear.
("cat" "needs" "bear" "+")
int1
The cat eats the lion.
("cat" "eats" "lion" "+")
int2
The bear does not need the bear.
Unknown
inv-rconc
[@1: The bear needs the bear.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bear" "needs" "bear" "-")
The cat eats the cat.
Unknown
rconc
[@1: The cat eats the cat.[CWA. Example of deepest failure = (rule6 <- 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 = (rule6 <- FAIL)]]
("lion" "eats" "cat" "-")
The bear is kind.
Unknown
random
[@0: The bear is kind.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "kind" "+")
The cat is not round.
Unknown
inv-random
[@0: The cat is round.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "round" "-")
The bear is nice.
Unknown
random
[@0: The bear is nice.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "nice" "+")
@0: The bear eats the cat.[(triple1)] The bear is green.[(triple2)] The bear is red.[(triple3)] The bear likes the cat.[(triple4)] The bear needs the cat.[(triple5)] The cat eats the bear.[(triple6)] The cat is kind.[(triple7)] The cat needs the lion.[(triple8)] The lion eats the bear.[(triple9)] The lion is nice.[(triple10)] The lion is red.[(triple11)] The lion likes the bear.[(triple12)] The lion likes the cat.[(triple13)] The lion needs the bear.[(triple14)] The lion needs the cat.[(triple15)] @1: The cat eats the lion.[(((triple1) -> rule7))] The cat likes the bear.[(((triple5) -> rule8))] The cat needs the cat.[(((triple7) -> rule3))] @2: The cat needs the bear.[(((((triple1) -> rule7)) -> rule2))]
The bear eats the cat.
("bear" "eats" "cat" "+")
triple1
The bear is green.
("bear" "is" "green" "+")
triple2
The bear is red.
("bear" "is" "red" "+")
triple3
The bear likes the cat.
("bear" "likes" "cat" "+")
triple4
The bear needs the cat.
("bear" "needs" "cat" "+")
triple5
The cat eats the bear.
("cat" "eats" "bear" "+")
triple6
The cat is kind.
("cat" "is" "kind" "+")
triple7
The cat needs the lion.
("cat" "needs" "lion" "+")
triple8
The lion eats the bear.
("lion" "eats" "bear" "+")
triple9
The lion is nice.
("lion" "is" "nice" "+")
triple10
The lion is red.
("lion" "is" "red" "+")
triple11
The lion likes the bear.
("lion" "likes" "bear" "+")
triple12
The lion likes the cat.
("lion" "likes" "cat" "+")
triple13
The lion needs the bear.
("lion" "needs" "bear" "+")
triple14
The lion needs the cat.
("lion" "needs" "cat" "+")
triple15
The cat eats the lion.
("cat" "eats" "lion" "+")
((triple1) -> (rule7 % int1))
The cat eats the lion.
("cat" "eats" "lion" "+")
int1
The cat likes the bear.
("cat" "likes" "bear" "+")
((triple5) -> (rule8 % int1))
The cat likes the bear.
("cat" "likes" "bear" "+")
int1
The cat needs the cat.
("cat" "needs" "cat" "+")
((triple7) -> (rule3 % int1))
The cat needs the cat.
("cat" "needs" "cat" "+")
int1
The cat needs the bear.
("cat" "needs" "bear" "+")
((((triple1) -> (rule7 % int2))) -> (rule2 % int1))
The cat needs the bear.
("cat" "needs" "bear" "+")
int1
The cat eats the lion.
("cat" "eats" "lion" "+")
int2