The bald eagle is big. The bald eagle visits the bear. The bald eagle visits the cat. The bear chases the bald eagle. The bear chases the cat. The bear is big. The bear is green. The bear is kind. The bear is nice. The bear likes the bald eagle. The bear likes the cat. The bear visits the bald eagle. The bear visits the cat. The cat chases the bear. The cat is blue. If someone visits the bald eagle then they visit the cat. If someone visits the cat and they visit the bald eagle then they chase the bear.
The bald eagle is big.
("bald eagle" "is" "big" "+")
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
The bald eagle visits the cat.
("bald eagle" "visits" "cat" "+")
The bear chases the bald eagle.
("bear" "chases" "bald eagle" "+")
The bear chases the cat.
("bear" "chases" "cat" "+")
The bear is big.
("bear" "is" "big" "+")
The bear is green.
("bear" "is" "green" "+")
The bear is kind.
("bear" "is" "kind" "+")
The bear is nice.
("bear" "is" "nice" "+")
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
The bear likes the cat.
("bear" "likes" "cat" "+")
The bear visits the bald eagle.
("bear" "visits" "bald eagle" "+")
The bear visits the cat.
("bear" "visits" "cat" "+")
The cat chases the bear.
("cat" "chases" "bear" "+")
The cat is blue.
("cat" "is" "blue" "+")
If someone visits the bald eagle then they visit the cat.
((("someone" "visits" "bald eagle" "+")) -> ("someone" "visits" "cat" "+"))
If someone visits the cat and they visit the bald eagle then they chase the bear.
((("someone" "visits" "cat" "+") ("someone" "visits" "bald eagle" "+")) -> ("someone" "chases" "bear" "+"))
The bear visits the cat.
True
1
proof
[(triple13 OR ((triple12) -> rule1))]
("bear" "visits" "cat" "+")
triple13
((triple12) -> (rule1 % int1))
The bear visits the cat.
("bear" "visits" "cat" "+")
int1
The bear is not green.
False
1
inv-proof
[(triple7)]
("bear" "is" "green" "-")
triple7
The cat does not visit the cat.
Unknown
inv-rconc
[@1: The cat visits the cat.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cat" "visits" "cat" "-")
The cat likes the bear.
Unknown
random
[@0: The cat likes the bear.[CWA. Example of deepest failure = (FAIL)]]
("cat" "likes" "bear" "+")
@0: The bald eagle is big.[(triple1)] The bald eagle visits the bear.[(triple2)] The bald eagle visits the cat.[(triple3)] The bear chases the bald eagle.[(triple4)] The bear chases the cat.[(triple5)] The bear is big.[(triple6)] The bear is green.[(triple7)] The bear is kind.[(triple8)] The bear is nice.[(triple9)] The bear likes the bald eagle.[(triple10)] The bear likes the cat.[(triple11)] The bear visits the bald eagle.[(triple12)] The bear visits the cat.[(triple13 OR ((triple12) -> rule1))] The cat chases the bear.[(triple14)] The cat is blue.[(triple15)] @1: The bear chases the bear.[(((triple13 triple12) -> rule2) OR ((((triple12) -> rule1) triple12) -> rule2))]
The bald eagle is big.
("bald eagle" "is" "big" "+")
triple1
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
triple2
The bald eagle visits the cat.
("bald eagle" "visits" "cat" "+")
triple3
The bear chases the bald eagle.
("bear" "chases" "bald eagle" "+")
triple4
The bear chases the cat.
("bear" "chases" "cat" "+")
triple5
The bear is big.
("bear" "is" "big" "+")
triple6
The bear is green.
("bear" "is" "green" "+")
triple7
The bear is kind.
("bear" "is" "kind" "+")
triple8
The bear is nice.
("bear" "is" "nice" "+")
triple9
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
triple10
The bear likes the cat.
("bear" "likes" "cat" "+")
triple11
The bear visits the bald eagle.
("bear" "visits" "bald eagle" "+")
triple12
The bear visits the cat.
("bear" "visits" "cat" "+")
triple13
((triple12) -> (rule1 % int1))
The bear visits the cat.
("bear" "visits" "cat" "+")
int1
The cat chases the bear.
("cat" "chases" "bear" "+")
triple14
The cat is blue.
("cat" "is" "blue" "+")
triple15
The bear chases the bear.
("bear" "chases" "bear" "+")
((triple13 triple12) -> (rule2 % int1))
The bear chases the bear.
("bear" "chases" "bear" "+")
int1
((((triple12) -> (rule1 % int2)) triple12) -> (rule2 % int1))
The bear chases the bear.
("bear" "chases" "bear" "+")
int1
The bear visits the cat.
("bear" "visits" "cat" "+")
int2