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