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