The bald eagle does not eat the cat. The bald eagle is not kind. The cat is rough. The squirrel is rough. The squirrel likes the cat. The tiger eats the bald eagle. The tiger sees the squirrel. If the squirrel likes the cat then the squirrel likes the tiger. If someone sees the squirrel then the squirrel eats the cat.
The bald eagle does not eat the cat.
("bald eagle" "eats" "cat" "-")
The bald eagle is not kind.
("bald eagle" "is" "kind" "-")
The cat is rough.
("cat" "is" "rough" "+")
The squirrel is rough.
("squirrel" "is" "rough" "+")
The squirrel likes the cat.
("squirrel" "likes" "cat" "+")
The tiger eats the bald eagle.
("tiger" "eats" "bald eagle" "+")
The tiger sees the squirrel.
("tiger" "sees" "squirrel" "+")
If the squirrel likes the cat then the squirrel likes the tiger.
((("squirrel" "likes" "cat" "+")) -> ("squirrel" "likes" "tiger" "+"))
If someone sees the squirrel then the squirrel eats the cat.
((("someone" "sees" "squirrel" "+")) -> ("squirrel" "eats" "cat" "+"))
The squirrel is rough.
True
1
proof
[(triple4)]
("squirrel" "is" "rough" "+")
triple4
The bald eagle is kind.
False
1
inv-proof
[(triple2)]
("bald eagle" "is" "kind" "+")
triple2
The squirrel eats the cat.
True
2
proof
[(((triple7) -> rule2))]
("squirrel" "eats" "cat" "+")
((triple7) -> (rule2 % int1))
The squirrel eats the cat.
("squirrel" "eats" "cat" "+")
int1
The squirrel does not eat the cat.
False
2
inv-proof
[(((triple7) -> rule2))]
("squirrel" "eats" "cat" "-")
((triple7) -> (rule2 % int1))
The squirrel eats the cat.
("squirrel" "eats" "cat" "+")
int1
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 bald eagle eats the squirrel.
Unknown
random
[@0: The bald eagle eats the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "eats" "squirrel" "+")
The bald eagle is not rough.
Unknown
inv-random
[@0: The bald eagle is rough.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "rough" "-")
The squirrel is red.
Unknown
random
[@0: The squirrel is red.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "red" "+")
@0: The bald eagle does not eat the cat.[(triple1)] The bald eagle is not kind.[(triple2)] The cat is rough.[(triple3)] The squirrel is rough.[(triple4)] The squirrel likes the cat.[(triple5)] The tiger eats the bald eagle.[(triple6)] The tiger sees the squirrel.[(triple7)] @1: The squirrel eats the cat.[(((triple7) -> rule2))] The squirrel likes the tiger.[(((triple5) -> rule1))]
The bald eagle does not eat the cat.
("bald eagle" "eats" "cat" "-")
triple1
The bald eagle is not kind.
("bald eagle" "is" "kind" "-")
triple2
The cat is rough.
("cat" "is" "rough" "+")
triple3
The squirrel is rough.
("squirrel" "is" "rough" "+")
triple4
The squirrel likes the cat.
("squirrel" "likes" "cat" "+")
triple5
The tiger eats the bald eagle.
("tiger" "eats" "bald eagle" "+")
triple6
The tiger sees the squirrel.
("tiger" "sees" "squirrel" "+")
triple7
The squirrel eats the cat.
("squirrel" "eats" "cat" "+")
((triple7) -> (rule2 % int1))
The squirrel eats the cat.
("squirrel" "eats" "cat" "+")
int1
The squirrel likes the tiger.
("squirrel" "likes" "tiger" "+")
((triple5) -> (rule1 % int1))
The squirrel likes the tiger.
("squirrel" "likes" "tiger" "+")
int1