The bald eagle is red. The bald eagle needs the lion. The bald eagle needs the tiger. The bald eagle visits the cow. The bald eagle visits the tiger. The cow is nice. The lion is red. The lion likes the bald eagle. The lion likes the cow. The lion visits the bald eagle. The lion visits the cow. The tiger likes the bald eagle. The tiger likes the lion. The tiger needs the cow. The tiger visits the lion. If something likes the tiger and the tiger likes the bald eagle then it is red. If something is round and it needs the bald eagle then it needs the tiger. If something likes the lion and the lion visits the cow then it is young. If something is red and it needs the cow then the cow needs the lion. If something likes the lion then the lion likes the tiger. If something is young then it needs the lion. Cold, nice things are round. If something likes the bald eagle then the bald eagle needs the lion.
The bald eagle is red.
("bald eagle" "is" "red" "+")
The bald eagle needs the lion.
("bald eagle" "needs" "lion" "+")
The bald eagle needs the tiger.
("bald eagle" "needs" "tiger" "+")
The bald eagle visits the cow.
("bald eagle" "visits" "cow" "+")
The bald eagle visits the tiger.
("bald eagle" "visits" "tiger" "+")
The cow is nice.
("cow" "is" "nice" "+")
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 visits the bald eagle.
("lion" "visits" "bald eagle" "+")
The lion visits the cow.
("lion" "visits" "cow" "+")
The tiger likes the bald eagle.
("tiger" "likes" "bald eagle" "+")
The tiger likes the lion.
("tiger" "likes" "lion" "+")
The tiger needs the cow.
("tiger" "needs" "cow" "+")
The tiger visits the lion.
("tiger" "visits" "lion" "+")
If something likes the tiger and the tiger likes the bald eagle then it is red.
((("something" "likes" "tiger" "+") ("tiger" "likes" "bald eagle" "+")) -> ("something" "is" "red" "+"))
If something is round and it needs the bald eagle then it needs the tiger.
((("something" "is" "round" "+") ("something" "needs" "bald eagle" "+")) -> ("something" "needs" "tiger" "+"))
If something likes the lion and the lion visits the cow then it is young.
((("something" "likes" "lion" "+") ("lion" "visits" "cow" "+")) -> ("something" "is" "young" "+"))
If something is red and it needs the cow then the cow needs the lion.
((("something" "is" "red" "+") ("something" "needs" "cow" "+")) -> ("cow" "needs" "lion" "+"))
If something likes the lion then the lion likes the tiger.
((("something" "likes" "lion" "+")) -> ("lion" "likes" "tiger" "+"))
If something is young then it needs the lion.
((("something" "is" "young" "+")) -> ("something" "needs" "lion" "+"))
Cold, nice things are round.
((("something" "is" "cold" "+") ("something" "is" "nice" "+")) -> ("something" "is" "round" "+"))
If something likes the bald eagle then the bald eagle needs the lion.
((("something" "likes" "bald eagle" "+")) -> ("bald eagle" "needs" "lion" "+"))
The lion visits the bald eagle.
True
1
proof
[(triple10)]
("lion" "visits" "bald eagle" "+")
triple10
The bald eagle does not visit the cow.
False
1
inv-proof
[(triple4)]
("bald eagle" "visits" "cow" "-")
triple4
The lion likes the tiger.
True
2
proof
[(((triple13) -> rule5))]
("lion" "likes" "tiger" "+")
((triple13) -> (rule5 % int1))
The lion likes the tiger.
("lion" "likes" "tiger" "+")
int1
The tiger is not young.
False
3
inv-proof
[(((triple13 triple11) -> rule3))]
("tiger" "is" "young" "-")
((triple13 triple11) -> (rule3 % int1))
The tiger is young.
("tiger" "is" "young" "+")
int1
The tiger is not red.
Unknown
inv-rconc
[@1: The tiger is red.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("tiger" "is" "red" "-")
The cow needs the tiger.
Unknown
rconc
[@1: The cow needs the tiger.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("cow" "needs" "tiger" "+")
The lion does not visit the tiger.
Unknown
inv-random
[@0: The lion visits the tiger.[CWA. Example of deepest failure = (FAIL)]]
("lion" "visits" "tiger" "-")
The cow is cold.
Unknown
random
[@0: The cow is cold.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "cold" "+")
@0: The bald eagle is red.[(triple1)] The bald eagle needs the lion.[(triple2 OR ((triple12) -> rule8) OR ((triple8) -> rule8))] The bald eagle needs the tiger.[(triple3)] The bald eagle visits the cow.[(triple4)] The bald eagle visits the tiger.[(triple5)] The cow is nice.[(triple6)] The lion is red.[(triple7 OR ((((triple13) -> rule5) triple12) -> rule1))] The lion likes the bald eagle.[(triple8)] The lion likes the cow.[(triple9)] The lion visits the bald eagle.[(triple10)] The lion visits the cow.[(triple11)] The tiger likes the bald eagle.[(triple12)] The tiger likes the lion.[(triple13)] The tiger needs the cow.[(triple14)] The tiger visits the lion.[(triple15)] @1: The lion likes the tiger.[(((triple13) -> rule5))] The tiger is young.[(((triple13 triple11) -> rule3))] @2: The tiger needs the lion.[(((((triple13 triple11) -> rule3)) -> rule6))]
The bald eagle is red.
("bald eagle" "is" "red" "+")
triple1
The bald eagle needs the lion.
("bald eagle" "needs" "lion" "+")
triple2
((triple12) -> (rule8 % int1))
The bald eagle needs the lion.
("bald eagle" "needs" "lion" "+")
int1
((triple8) -> (rule8 % int1))
The bald eagle needs the lion.
("bald eagle" "needs" "lion" "+")
int1
The bald eagle needs the tiger.
("bald eagle" "needs" "tiger" "+")
triple3
The bald eagle visits the cow.
("bald eagle" "visits" "cow" "+")
triple4
The bald eagle visits the tiger.
("bald eagle" "visits" "tiger" "+")
triple5
The cow is nice.
("cow" "is" "nice" "+")
triple6
The lion is red.
("lion" "is" "red" "+")
triple7
((((triple13) -> (rule5 % int2)) triple12) -> (rule1 % int1))
The lion is red.
("lion" "is" "red" "+")
int1
The lion likes the tiger.
("lion" "likes" "tiger" "+")
int2
The lion likes the bald eagle.
("lion" "likes" "bald eagle" "+")
triple8
The lion likes the cow.
("lion" "likes" "cow" "+")
triple9
The lion visits the bald eagle.
("lion" "visits" "bald eagle" "+")
triple10
The lion visits the cow.
("lion" "visits" "cow" "+")
triple11
The tiger likes the bald eagle.
("tiger" "likes" "bald eagle" "+")
triple12
The tiger likes the lion.
("tiger" "likes" "lion" "+")
triple13
The tiger needs the cow.
("tiger" "needs" "cow" "+")
triple14
The tiger visits the lion.
("tiger" "visits" "lion" "+")
triple15
The lion likes the tiger.
("lion" "likes" "tiger" "+")
((triple13) -> (rule5 % int1))
The lion likes the tiger.
("lion" "likes" "tiger" "+")
int1
The tiger is young.
("tiger" "is" "young" "+")
((triple13 triple11) -> (rule3 % int1))
The tiger is young.
("tiger" "is" "young" "+")
int1
The tiger needs the lion.
("tiger" "needs" "lion" "+")
((((triple13 triple11) -> (rule3 % int2))) -> (rule6 % int1))
The tiger needs the lion.
("tiger" "needs" "lion" "+")
int1
The tiger is young.
("tiger" "is" "young" "+")
int2