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