The bald eagle is not big. The bald eagle visits the squirrel. The cat eats the bald eagle. The cat eats the squirrel. The cat is not big. The cat is kind. The cat visits the tiger. The squirrel eats the cat. The squirrel is kind. The squirrel does not like the cat. The tiger is red. The tiger visits the cat. If something eats the tiger then it visits the squirrel. If something visits the bald eagle then the bald eagle is big. If the bald eagle likes the squirrel and the bald eagle does not visit the squirrel then the bald eagle likes the cat.
The bald eagle is not big.
("bald eagle" "is" "big" "-")
The bald eagle visits the squirrel.
("bald eagle" "visits" "squirrel" "+")
The cat eats the bald eagle.
("cat" "eats" "bald eagle" "+")
The cat eats the squirrel.
("cat" "eats" "squirrel" "+")
The cat is not big.
("cat" "is" "big" "-")
The cat is kind.
("cat" "is" "kind" "+")
The cat visits the tiger.
("cat" "visits" "tiger" "+")
The squirrel eats the cat.
("squirrel" "eats" "cat" "+")
The squirrel is kind.
("squirrel" "is" "kind" "+")
The squirrel does not like the cat.
("squirrel" "likes" "cat" "-")
The tiger is red.
("tiger" "is" "red" "+")
The tiger visits the cat.
("tiger" "visits" "cat" "+")
If something eats the tiger then it visits the squirrel.
((("something" "eats" "tiger" "+")) -> ("something" "visits" "squirrel" "+"))
If something visits the bald eagle then the bald eagle is big.
((("something" "visits" "bald eagle" "+")) -> ("bald eagle" "is" "big" "+"))
If the bald eagle likes the squirrel and the bald eagle does not visit the squirrel then the bald eagle likes the cat.
((("bald eagle" "likes" "squirrel" "+") ("bald eagle" "visits" "squirrel" "~")) -> ("bald eagle" "likes" "cat" "+"))
The cat eats the squirrel.
True
1
proof
[(triple4)]
("cat" "eats" "squirrel" "+")
triple4
The squirrel is not kind.
False
1
inv-proof
[(triple9)]
("squirrel" "is" "kind" "-")
triple9
The cat does not visit the squirrel.
Unknown
inv-rconc
[@1: The cat visits the squirrel.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cat" "visits" "squirrel" "-")
The tiger likes the tiger.
Unknown
random
[@0: The tiger likes the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "likes" "tiger" "+")
@0: The bald eagle is not big.[(triple1)] The bald eagle visits the squirrel.[(triple2)] The cat eats the bald eagle.[(triple3)] The cat eats the squirrel.[(triple4)] The cat is kind.[(triple6)] The cat is not big.[(triple5)] The cat visits the tiger.[(triple7)] The squirrel does not like the cat.[(triple10)] The squirrel eats the cat.[(triple8)] The squirrel is kind.[(triple9)] The tiger is red.[(triple11)] The tiger visits the cat.[(triple12)]
The bald eagle is not big.
("bald eagle" "is" "big" "-")
triple1
The bald eagle visits the squirrel.
("bald eagle" "visits" "squirrel" "+")
triple2
The cat eats the bald eagle.
("cat" "eats" "bald eagle" "+")
triple3
The cat eats the squirrel.
("cat" "eats" "squirrel" "+")
triple4
The cat is kind.
("cat" "is" "kind" "+")
triple6
The cat is not big.
("cat" "is" "big" "-")
triple5
The cat visits the tiger.
("cat" "visits" "tiger" "+")
triple7
The squirrel does not like the cat.
("squirrel" "likes" "cat" "-")
triple10
The squirrel eats the cat.
("squirrel" "eats" "cat" "+")
triple8
The squirrel is kind.
("squirrel" "is" "kind" "+")
triple9
The tiger is red.
("tiger" "is" "red" "+")
triple11
The tiger visits the cat.
("tiger" "visits" "cat" "+")
triple12