The bald eagle likes the lion. The bald eagle likes the tiger. The bald eagle visits the tiger. The dog is round. The dog likes the lion. The dog needs the tiger. The dog visits the tiger. The lion is cold. The lion is kind. The lion is nice. The lion is round. The lion is young. The lion needs the bald eagle. The tiger is nice. The tiger likes the bald eagle. The tiger visits the lion. If something needs the bald eagle then the bald eagle is cold. If something likes the dog and it needs the dog then it visits the dog. If something visits the tiger and the tiger likes the lion then the tiger likes the dog. If something likes the bald eagle then it is nice. If the dog is young then the dog is cold. If something needs the bald eagle and the bald eagle needs the tiger then the bald eagle needs the dog.
The bald eagle likes the lion.
("bald eagle" "likes" "lion" "+")
The bald eagle likes the tiger.
("bald eagle" "likes" "tiger" "+")
The bald eagle visits the tiger.
("bald eagle" "visits" "tiger" "+")
The dog is round.
("dog" "is" "round" "+")
The dog likes the lion.
("dog" "likes" "lion" "+")
The dog needs the tiger.
("dog" "needs" "tiger" "+")
The dog visits the tiger.
("dog" "visits" "tiger" "+")
The lion is cold.
("lion" "is" "cold" "+")
The lion is kind.
("lion" "is" "kind" "+")
The lion is nice.
("lion" "is" "nice" "+")
The lion is round.
("lion" "is" "round" "+")
The lion is young.
("lion" "is" "young" "+")
The lion needs the bald eagle.
("lion" "needs" "bald eagle" "+")
The tiger is nice.
("tiger" "is" "nice" "+")
The tiger likes the bald eagle.
("tiger" "likes" "bald eagle" "+")
The tiger visits the lion.
("tiger" "visits" "lion" "+")
If something needs the bald eagle then the bald eagle is cold.
((("something" "needs" "bald eagle" "+")) -> ("bald eagle" "is" "cold" "+"))
If something likes the dog and it needs the dog then it visits the dog.
((("something" "likes" "dog" "+") ("something" "needs" "dog" "+")) -> ("something" "visits" "dog" "+"))
If something visits the tiger and the tiger likes the lion then the tiger likes the dog.
((("something" "visits" "tiger" "+") ("tiger" "likes" "lion" "+")) -> ("tiger" "likes" "dog" "+"))
If something likes the bald eagle then it is nice.
((("something" "likes" "bald eagle" "+")) -> ("something" "is" "nice" "+"))
If the dog is young then the dog is cold.
((("dog" "is" "young" "+")) -> ("dog" "is" "cold" "+"))
If something needs the bald eagle and the bald eagle needs the tiger then the bald eagle needs the dog.
((("something" "needs" "bald eagle" "+") ("bald eagle" "needs" "tiger" "+")) -> ("bald eagle" "needs" "dog" "+"))
The bald eagle likes the lion.
True
1
proof
[(triple1)]
("bald eagle" "likes" "lion" "+")
triple1
The lion is not cold.
False
1
inv-proof
[(triple8)]
("lion" "is" "cold" "-")
triple8
The bald eagle is cold.
True
2
proof
[(((triple13) -> rule1))]
("bald eagle" "is" "cold" "+")
((triple13) -> (rule1 % int1))
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int1
The bald eagle is not cold.
False
2
inv-proof
[(((triple13) -> rule1))]
("bald eagle" "is" "cold" "-")
((triple13) -> (rule1 % int1))
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int1
The tiger does not visit the dog.
Unknown
inv-rconc
[@1: The tiger visits the dog.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("tiger" "visits" "dog" "-")
The tiger likes the dog.
Unknown
rconc
[@1: The tiger likes the dog.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("tiger" "likes" "dog" "+")
The tiger is not young.
Unknown
inv-random
[@0: The tiger is young.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "young" "-")
The dog needs the lion.
Unknown
random
[@0: The dog needs the lion.[CWA. Example of deepest failure = (FAIL)]]
("dog" "needs" "lion" "+")
@0: The bald eagle likes the lion.[(triple1)] The bald eagle likes the tiger.[(triple2)] The bald eagle visits the tiger.[(triple3)] The dog is round.[(triple4)] The dog likes the lion.[(triple5)] The dog needs the tiger.[(triple6)] The dog visits the tiger.[(triple7)] The lion is cold.[(triple8)] The lion is kind.[(triple9)] The lion is nice.[(triple10)] The lion is round.[(triple11)] The lion is young.[(triple12)] The lion needs the bald eagle.[(triple13)] The tiger is nice.[(triple14 OR ((triple15) -> rule4))] The tiger likes the bald eagle.[(triple15)] The tiger visits the lion.[(triple16)] @1: The bald eagle is cold.[(((triple13) -> rule1))]
The bald eagle likes the lion.
("bald eagle" "likes" "lion" "+")
triple1
The bald eagle likes the tiger.
("bald eagle" "likes" "tiger" "+")
triple2
The bald eagle visits the tiger.
("bald eagle" "visits" "tiger" "+")
triple3
The dog is round.
("dog" "is" "round" "+")
triple4
The dog likes the lion.
("dog" "likes" "lion" "+")
triple5
The dog needs the tiger.
("dog" "needs" "tiger" "+")
triple6
The dog visits the tiger.
("dog" "visits" "tiger" "+")
triple7
The lion is cold.
("lion" "is" "cold" "+")
triple8
The lion is kind.
("lion" "is" "kind" "+")
triple9
The lion is nice.
("lion" "is" "nice" "+")
triple10
The lion is round.
("lion" "is" "round" "+")
triple11
The lion is young.
("lion" "is" "young" "+")
triple12
The lion needs the bald eagle.
("lion" "needs" "bald eagle" "+")
triple13
The tiger is nice.
("tiger" "is" "nice" "+")
triple14
((triple15) -> (rule4 % int1))
The tiger is nice.
("tiger" "is" "nice" "+")
int1
The tiger likes the bald eagle.
("tiger" "likes" "bald eagle" "+")
triple15
The tiger visits the lion.
("tiger" "visits" "lion" "+")
triple16
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
((triple13) -> (rule1 % int1))
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int1