The bald eagle is blue. The bald eagle is cold. The bald eagle is nice. The bald eagle likes the cow. The bald eagle needs the cow. The bald eagle needs the lion. The bald eagle visits the cow. The cow is young. The cow likes the bald eagle. The cow likes the lion. The cow needs the lion. The lion is red. The lion likes the bald eagle. The lion likes the cow. The lion needs the bald eagle. The lion visits the bald eagle. If someone visits the bald eagle and the bald eagle visits the lion then they are young. If someone needs the cow then they like the lion. If the lion likes the cow and the lion likes the bald eagle then the lion needs the cow.
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
The bald eagle likes the cow.
("bald eagle" "likes" "cow" "+")
The bald eagle needs the cow.
("bald eagle" "needs" "cow" "+")
The bald eagle needs the lion.
("bald eagle" "needs" "lion" "+")
The bald eagle visits the cow.
("bald eagle" "visits" "cow" "+")
The cow is young.
("cow" "is" "young" "+")
The cow likes the bald eagle.
("cow" "likes" "bald eagle" "+")
The cow likes the lion.
("cow" "likes" "lion" "+")
The cow needs the lion.
("cow" "needs" "lion" "+")
The lion is red.
("lion" "is" "red" "+")
The lion likes the bald eagle.
("lion" "likes" "bald eagle" "+")
The lion likes the cow.
("lion" "likes" "cow" "+")
The lion needs the bald eagle.
("lion" "needs" "bald eagle" "+")
The lion visits the bald eagle.
("lion" "visits" "bald eagle" "+")
If someone visits the bald eagle and the bald eagle visits the lion then they are young.
((("someone" "visits" "bald eagle" "+") ("bald eagle" "visits" "lion" "+")) -> ("someone" "is" "young" "+"))
If someone needs the cow then they like the lion.
((("someone" "needs" "cow" "+")) -> ("someone" "likes" "lion" "+"))
If the lion likes the cow and the lion likes the bald eagle then the lion needs the cow.
((("lion" "likes" "cow" "+") ("lion" "likes" "bald eagle" "+")) -> ("lion" "needs" "cow" "+"))
The bald eagle is nice.
True
1
proof
[(triple3)]
("bald eagle" "is" "nice" "+")
triple3
The bald eagle is not blue.
False
1
inv-proof
[(triple1)]
("bald eagle" "is" "blue" "-")
triple1
The bald eagle likes the lion.
True
2
proof
[(((triple5) -> rule2))]
("bald eagle" "likes" "lion" "+")
((triple5) -> (rule2 % int1))
The bald eagle likes the lion.
("bald eagle" "likes" "lion" "+")
int1
The bald eagle does not like the lion.
False
2
inv-proof
[(((triple5) -> rule2))]
("bald eagle" "likes" "lion" "-")
((triple5) -> (rule2 % int1))
The bald eagle likes the lion.
("bald eagle" "likes" "lion" "+")
int1
The lion likes the lion.
True
4
proof
[(((((triple14 triple13) -> rule3)) -> rule2))]
("lion" "likes" "lion" "+")
((((triple14 triple13) -> (rule3 % int2))) -> (rule2 % int1))
The lion likes the lion.
("lion" "likes" "lion" "+")
int1
The lion needs the cow.
("lion" "needs" "cow" "+")
int2
The lion does not like the lion.
False
4
inv-proof
[(((((triple14 triple13) -> rule3)) -> rule2))]
("lion" "likes" "lion" "-")
((((triple14 triple13) -> (rule3 % int2))) -> (rule2 % int1))
The lion likes the lion.
("lion" "likes" "lion" "+")
int1
The lion needs the cow.
("lion" "needs" "cow" "+")
int2
The lion is not young.
Unknown
inv-rconc
[@1: The lion is young.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("lion" "is" "young" "-")
The bald eagle is young.
Unknown
rconc
[@1: The bald eagle is young.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bald eagle" "is" "young" "+")
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 cow visits the bald eagle.
Unknown
random
[@0: The cow visits the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("cow" "visits" "bald eagle" "+")
The bald eagle does not like the bald eagle.
Unknown
inv-random
[@0: The bald eagle likes the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "likes" "bald eagle" "-")
The cow is red.
Unknown
random
[@0: The cow is red.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "red" "+")
@0: The bald eagle is blue.[(triple1)] The bald eagle is cold.[(triple2)] The bald eagle is nice.[(triple3)] The bald eagle likes the cow.[(triple4)] The bald eagle needs the cow.[(triple5)] The bald eagle needs the lion.[(triple6)] The bald eagle visits the cow.[(triple7)] The cow is young.[(triple8)] The cow likes the bald eagle.[(triple9)] The cow likes the lion.[(triple10)] The cow needs the lion.[(triple11)] The lion is red.[(triple12)] The lion likes the bald eagle.[(triple13)] The lion likes the cow.[(triple14)] The lion needs the bald eagle.[(triple15)] The lion visits the bald eagle.[(triple16)] @1: The bald eagle likes the lion.[(((triple5) -> rule2))] The lion needs the cow.[(((triple14 triple13) -> rule3))] @2: The lion likes the lion.[(((((triple14 triple13) -> rule3)) -> rule2))]
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
triple1
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
triple2
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
triple3
The bald eagle likes the cow.
("bald eagle" "likes" "cow" "+")
triple4
The bald eagle needs the cow.
("bald eagle" "needs" "cow" "+")
triple5
The bald eagle needs the lion.
("bald eagle" "needs" "lion" "+")
triple6
The bald eagle visits the cow.
("bald eagle" "visits" "cow" "+")
triple7
The cow is young.
("cow" "is" "young" "+")
triple8
The cow likes the bald eagle.
("cow" "likes" "bald eagle" "+")
triple9
The cow likes the lion.
("cow" "likes" "lion" "+")
triple10
The cow needs the lion.
("cow" "needs" "lion" "+")
triple11
The lion is red.
("lion" "is" "red" "+")
triple12
The lion likes the bald eagle.
("lion" "likes" "bald eagle" "+")
triple13
The lion likes the cow.
("lion" "likes" "cow" "+")
triple14
The lion needs the bald eagle.
("lion" "needs" "bald eagle" "+")
triple15
The lion visits the bald eagle.
("lion" "visits" "bald eagle" "+")
triple16
The bald eagle likes the lion.
("bald eagle" "likes" "lion" "+")
((triple5) -> (rule2 % int1))
The bald eagle likes the lion.
("bald eagle" "likes" "lion" "+")
int1
The lion needs the cow.
("lion" "needs" "cow" "+")
((triple14 triple13) -> (rule3 % int1))
The lion needs the cow.
("lion" "needs" "cow" "+")
int1
The lion likes the lion.
("lion" "likes" "lion" "+")
((((triple14 triple13) -> (rule3 % int2))) -> (rule2 % int1))
The lion likes the lion.
("lion" "likes" "lion" "+")
int1
The lion needs the cow.
("lion" "needs" "cow" "+")
int2