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