The bear is kind. The bear is rough. The bear is round. The bear needs the cow. The bear needs the lion. The cat is nice. The cat likes the lion. The cat needs the bear. The cow is round. The cow likes the bear. The lion is kind. The lion is round. The lion likes the cat. The lion likes the cow. The lion needs the cow. If someone is nice then they are rough. If someone needs the lion and the lion is round then the lion likes the cat. If someone eats the lion and they like the cat then the lion is kind. If someone likes the cow then the cow likes the cat. If someone eats the lion and the lion needs the cow then the lion needs the bear. If someone likes the cow then the cow needs the lion.
The bear is kind.
("bear" "is" "kind" "+")
The bear is rough.
("bear" "is" "rough" "+")
The bear is round.
("bear" "is" "round" "+")
The bear needs the cow.
("bear" "needs" "cow" "+")
The bear needs the lion.
("bear" "needs" "lion" "+")
The cat is nice.
("cat" "is" "nice" "+")
The cat likes the lion.
("cat" "likes" "lion" "+")
The cat needs the bear.
("cat" "needs" "bear" "+")
The cow is round.
("cow" "is" "round" "+")
The cow likes the bear.
("cow" "likes" "bear" "+")
The lion is kind.
("lion" "is" "kind" "+")
The lion is round.
("lion" "is" "round" "+")
The lion likes the cat.
("lion" "likes" "cat" "+")
The lion likes the cow.
("lion" "likes" "cow" "+")
The lion needs the cow.
("lion" "needs" "cow" "+")
If someone is nice then they are rough.
((("someone" "is" "nice" "+")) -> ("someone" "is" "rough" "+"))
If someone needs the lion and the lion is round then the lion likes the cat.
((("someone" "needs" "lion" "+") ("lion" "is" "round" "+")) -> ("lion" "likes" "cat" "+"))
If someone eats the lion and they like the cat then the lion is kind.
((("someone" "eats" "lion" "+") ("someone" "likes" "cat" "+")) -> ("lion" "is" "kind" "+"))
If someone likes the cow then the cow likes the cat.
((("someone" "likes" "cow" "+")) -> ("cow" "likes" "cat" "+"))
If someone eats the lion and the lion needs the cow then the lion needs the bear.
((("someone" "eats" "lion" "+") ("lion" "needs" "cow" "+")) -> ("lion" "needs" "bear" "+"))
If someone likes the cow then the cow needs the lion.
((("someone" "likes" "cow" "+")) -> ("cow" "needs" "lion" "+"))
The cat needs the bear.
True
1
proof
[(triple8)]
("cat" "needs" "bear" "+")
triple8
The bear does not need the cow.
False
1
inv-proof
[(triple4)]
("bear" "needs" "cow" "-")
triple4
The cow needs the lion.
True
2
proof
[(((triple14) -> rule6))]
("cow" "needs" "lion" "+")
((triple14) -> (rule6 % int1))
The cow needs the lion.
("cow" "needs" "lion" "+")
int1
The cow does not like the cat.
False
2
inv-proof
[(((triple14) -> rule4))]
("cow" "likes" "cat" "-")
((triple14) -> (rule4 % int1))
The cow likes the cat.
("cow" "likes" "cat" "+")
int1
The lion does not need the bear.
Unknown
inv-rconc
[@1: The lion needs the bear.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("lion" "needs" "bear" "-")
The cow is rough.
Unknown
rconc
[@1: The cow is rough.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cow" "is" "rough" "+")
The lion does not like the bear.
Unknown
inv-random
[@0: The lion likes the bear.[CWA. Example of deepest failure = (FAIL)]]
("lion" "likes" "bear" "-")
The lion eats the bear.
Unknown
random
[@0: The lion eats the bear.[CWA. Example of deepest failure = (FAIL)]]
("lion" "eats" "bear" "+")
@0: The bear is kind.[(triple1)] The bear is rough.[(triple2)] The bear is round.[(triple3)] The bear needs the cow.[(triple4)] The bear needs the lion.[(triple5)] The cat is nice.[(triple6)] The cat likes the lion.[(triple7)] The cat needs the bear.[(triple8)] The cow is round.[(triple9)] The cow likes the bear.[(triple10)] The lion is kind.[(triple11)] The lion is round.[(triple12)] The lion likes the cat.[(triple13 OR ((triple5 triple12) -> rule2) OR ((((triple14) -> rule6) triple12) -> rule2))] The lion likes the cow.[(triple14)] The lion needs the cow.[(triple15)] @1: The cat is rough.[(((triple6) -> rule1))] The cow likes the cat.[(((triple14) -> rule4))] The cow needs the lion.[(((triple14) -> rule6))]
The bear is kind.
("bear" "is" "kind" "+")
triple1
The bear is rough.
("bear" "is" "rough" "+")
triple2
The bear is round.
("bear" "is" "round" "+")
triple3
The bear needs the cow.
("bear" "needs" "cow" "+")
triple4
The bear needs the lion.
("bear" "needs" "lion" "+")
triple5
The cat is nice.
("cat" "is" "nice" "+")
triple6
The cat likes the lion.
("cat" "likes" "lion" "+")
triple7
The cat needs the bear.
("cat" "needs" "bear" "+")
triple8
The cow is round.
("cow" "is" "round" "+")
triple9
The cow likes the bear.
("cow" "likes" "bear" "+")
triple10
The lion is kind.
("lion" "is" "kind" "+")
triple11
The lion is round.
("lion" "is" "round" "+")
triple12
The lion likes the cat.
("lion" "likes" "cat" "+")
triple13
((triple5 triple12) -> (rule2 % int1))
The lion likes the cat.
("lion" "likes" "cat" "+")
int1
((((triple14) -> (rule6 % int2)) triple12) -> (rule2 % int1))
The lion likes the cat.
("lion" "likes" "cat" "+")
int1
The cow needs the lion.
("cow" "needs" "lion" "+")
int2
The lion likes the cow.
("lion" "likes" "cow" "+")
triple14
The lion needs the cow.
("lion" "needs" "cow" "+")
triple15
The cat is rough.
("cat" "is" "rough" "+")
((triple6) -> (rule1 % int1))
The cat is rough.
("cat" "is" "rough" "+")
int1
The cow likes the cat.
("cow" "likes" "cat" "+")
((triple14) -> (rule4 % int1))
The cow likes the cat.
("cow" "likes" "cat" "+")
int1
The cow needs the lion.
("cow" "needs" "lion" "+")
((triple14) -> (rule6 % int1))
The cow needs the lion.
("cow" "needs" "lion" "+")
int1