The bald eagle is red. The bald eagle likes the cat. The bald eagle likes the lion. The bald eagle visits the cat. The bald eagle visits the lion. The cat is green. The cat likes the lion. The cat visits the bald eagle. The cat visits the lion. The lion is green. The lion likes the cat. The lion needs the cat. If something likes the bald eagle then the bald eagle is red. If something is young and it needs the cat then the cat is big. If something visits the bald eagle and the bald eagle visits the cat then it is red. If something likes the cat then the cat is young. If something is kind then it needs the lion. If something likes the cat then the cat visits the lion.
The bald eagle is red.
("bald eagle" "is" "red" "+")
The bald eagle likes the cat.
("bald eagle" "likes" "cat" "+")
The bald eagle likes the lion.
("bald eagle" "likes" "lion" "+")
The bald eagle visits the cat.
("bald eagle" "visits" "cat" "+")
The bald eagle visits the lion.
("bald eagle" "visits" "lion" "+")
The cat is green.
("cat" "is" "green" "+")
The cat likes the lion.
("cat" "likes" "lion" "+")
The cat visits the bald eagle.
("cat" "visits" "bald eagle" "+")
The cat visits the lion.
("cat" "visits" "lion" "+")
The lion is green.
("lion" "is" "green" "+")
The lion likes the cat.
("lion" "likes" "cat" "+")
The lion needs the cat.
("lion" "needs" "cat" "+")
If something likes the bald eagle then the bald eagle is red.
((("something" "likes" "bald eagle" "+")) -> ("bald eagle" "is" "red" "+"))
If something is young and it needs the cat then the cat is big.
((("something" "is" "young" "+") ("something" "needs" "cat" "+")) -> ("cat" "is" "big" "+"))
If something visits the bald eagle and the bald eagle visits the cat then it is red.
((("something" "visits" "bald eagle" "+") ("bald eagle" "visits" "cat" "+")) -> ("something" "is" "red" "+"))
If something likes the cat then the cat is young.
((("something" "likes" "cat" "+")) -> ("cat" "is" "young" "+"))
If something is kind then it needs the lion.
((("something" "is" "kind" "+")) -> ("something" "needs" "lion" "+"))
If something likes the cat then the cat visits the lion.
((("something" "likes" "cat" "+")) -> ("cat" "visits" "lion" "+"))
The cat is green.
True
1
proof
[(triple6)]
("cat" "is" "green" "+")
triple6
The bald eagle does not visit the lion.
False
1
inv-proof
[(triple5)]
("bald eagle" "visits" "lion" "-")
triple5
The cat is young.
True
2
proof
[(((triple11) -> rule4) OR ((triple2) -> rule4))]
("cat" "is" "young" "+")
((triple11) -> (rule4 % int1))
The cat is young.
("cat" "is" "young" "+")
int1
((triple2) -> (rule4 % int1))
The cat is young.
("cat" "is" "young" "+")
int1
The cat is not red.
False
3
inv-proof
[(((triple8 triple4) -> rule3))]
("cat" "is" "red" "-")
((triple8 triple4) -> (rule3 % int1))
The cat is red.
("cat" "is" "red" "+")
int1
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 is red.
Unknown
rconc
[@1: The lion is red.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("lion" "is" "red" "+")
The lion does not visit the bald eagle.
Unknown
inv-random
[@0: The lion visits the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("lion" "visits" "bald eagle" "-")
The lion likes the lion.
Unknown
random
[@0: The lion likes the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "likes" "lion" "+")
@0: The bald eagle is red.[(triple1)] The bald eagle likes the cat.[(triple2)] The bald eagle likes the lion.[(triple3)] The bald eagle visits the cat.[(triple4)] The bald eagle visits the lion.[(triple5)] The cat is green.[(triple6)] The cat likes the lion.[(triple7)] The cat visits the bald eagle.[(triple8)] The cat visits the lion.[(triple9 OR ((triple11) -> rule6) OR ((triple2) -> rule6))] The lion is green.[(triple10)] The lion likes the cat.[(triple11)] The lion needs the cat.[(triple12)] @1: The cat is red.[(((triple8 triple4) -> rule3))] The cat is young.[(((triple11) -> rule4) OR ((triple2) -> rule4))]
The bald eagle is red.
("bald eagle" "is" "red" "+")
triple1
The bald eagle likes the cat.
("bald eagle" "likes" "cat" "+")
triple2
The bald eagle likes the lion.
("bald eagle" "likes" "lion" "+")
triple3
The bald eagle visits the cat.
("bald eagle" "visits" "cat" "+")
triple4
The bald eagle visits the lion.
("bald eagle" "visits" "lion" "+")
triple5
The cat is green.
("cat" "is" "green" "+")
triple6
The cat likes the lion.
("cat" "likes" "lion" "+")
triple7
The cat visits the bald eagle.
("cat" "visits" "bald eagle" "+")
triple8
The cat visits the lion.
("cat" "visits" "lion" "+")
triple9
((triple11) -> (rule6 % int1))
The cat visits the lion.
("cat" "visits" "lion" "+")
int1
((triple2) -> (rule6 % int1))
The cat visits the lion.
("cat" "visits" "lion" "+")
int1
The lion is green.
("lion" "is" "green" "+")
triple10
The lion likes the cat.
("lion" "likes" "cat" "+")
triple11
The lion needs the cat.
("lion" "needs" "cat" "+")
triple12
The cat is red.
("cat" "is" "red" "+")
((triple8 triple4) -> (rule3 % int1))
The cat is red.
("cat" "is" "red" "+")
int1
The cat is young.
("cat" "is" "young" "+")
((triple11) -> (rule4 % int1))
The cat is young.
("cat" "is" "young" "+")
int1
((triple2) -> (rule4 % int1))
The cat is young.
("cat" "is" "young" "+")
int1