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