The bear eats the lion. The bear is big. The bear is blue. The bear is kind. The bear is red. The bear is rough. The bear likes the lion. The bear needs the lion. The lion eats the bear. The lion is big. The lion is kind. The lion needs the bear. If the bear is blue and the bear eats the lion then the lion likes the bear. If something needs the lion and the lion eats the bear then it likes the bear. If something is red then it likes the bear.
The bear eats the lion.
("bear" "eats" "lion" "+")
The bear is big.
("bear" "is" "big" "+")
The bear is blue.
("bear" "is" "blue" "+")
The bear is kind.
("bear" "is" "kind" "+")
The bear is red.
("bear" "is" "red" "+")
The bear is rough.
("bear" "is" "rough" "+")
The bear likes the lion.
("bear" "likes" "lion" "+")
The bear needs the lion.
("bear" "needs" "lion" "+")
The lion eats the bear.
("lion" "eats" "bear" "+")
The lion is big.
("lion" "is" "big" "+")
The lion is kind.
("lion" "is" "kind" "+")
The lion needs the bear.
("lion" "needs" "bear" "+")
If the bear is blue and the bear eats the lion then the lion likes the bear.
((("bear" "is" "blue" "+") ("bear" "eats" "lion" "+")) -> ("lion" "likes" "bear" "+"))
If something needs the lion and the lion eats the bear then it likes the bear.
((("something" "needs" "lion" "+") ("lion" "eats" "bear" "+")) -> ("something" "likes" "bear" "+"))
If something is red then it likes the bear.
((("something" "is" "red" "+")) -> ("something" "likes" "bear" "+"))
The lion is big.
True
1
proof
[(triple10)]
("lion" "is" "big" "+")
triple10
The lion does not eat the bear.
False
1
inv-proof
[(triple9)]
("lion" "eats" "bear" "-")
triple9
The lion likes the bear.
True
3
proof
[(((triple3 triple1) -> rule1))]
("lion" "likes" "bear" "+")
((triple3 triple1) -> (rule1 % int1))
The lion likes the bear.
("lion" "likes" "bear" "+")
int1
The bear does not like the bear.
False
2
inv-proof
[(((triple5) -> rule3) OR ((triple8 triple9) -> rule2))]
("bear" "likes" "bear" "-")
((triple5) -> (rule3 % int1))
The bear likes the bear.
("bear" "likes" "bear" "+")
int1
((triple8 triple9) -> (rule2 % int1))
The bear likes the bear.
("bear" "likes" "bear" "+")
int1
The bear does not need the bear.
Unknown
inv-random
[@0: The bear needs the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "needs" "bear" "-")
The lion likes the lion.
Unknown
random
[@0: The lion likes the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "likes" "lion" "+")
The lion is not rough.
Unknown
inv-random
[@0: The lion is rough.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "rough" "-")
The lion needs the lion.
Unknown
random
[@0: The lion needs the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "needs" "lion" "+")
@0: The bear eats the lion.[(triple1)] The bear is big.[(triple2)] The bear is blue.[(triple3)] The bear is kind.[(triple4)] The bear is red.[(triple5)] The bear is rough.[(triple6)] The bear likes the lion.[(triple7)] The bear needs the lion.[(triple8)] The lion eats the bear.[(triple9)] The lion is big.[(triple10)] The lion is kind.[(triple11)] The lion needs the bear.[(triple12)] @1: The bear likes the bear.[(((triple5) -> rule3) OR ((triple8 triple9) -> rule2))] The lion likes the bear.[(((triple3 triple1) -> rule1))]
The bear eats the lion.
("bear" "eats" "lion" "+")
triple1
The bear is big.
("bear" "is" "big" "+")
triple2
The bear is blue.
("bear" "is" "blue" "+")
triple3
The bear is kind.
("bear" "is" "kind" "+")
triple4
The bear is red.
("bear" "is" "red" "+")
triple5
The bear is rough.
("bear" "is" "rough" "+")
triple6
The bear likes the lion.
("bear" "likes" "lion" "+")
triple7
The bear needs the lion.
("bear" "needs" "lion" "+")
triple8
The lion eats the bear.
("lion" "eats" "bear" "+")
triple9
The lion is big.
("lion" "is" "big" "+")
triple10
The lion is kind.
("lion" "is" "kind" "+")
triple11
The lion needs the bear.
("lion" "needs" "bear" "+")
triple12
The bear likes the bear.
("bear" "likes" "bear" "+")
((triple5) -> (rule3 % int1))
The bear likes the bear.
("bear" "likes" "bear" "+")
int1
((triple8 triple9) -> (rule2 % int1))
The bear likes the bear.
("bear" "likes" "bear" "+")
int1
The lion likes the bear.
("lion" "likes" "bear" "+")
((triple3 triple1) -> (rule1 % int1))
The lion likes the bear.
("lion" "likes" "bear" "+")
int1