The bald eagle eats the squirrel. The bald eagle needs the squirrel. The bald eagle sees the squirrel. The cat is green. The cat is young. The cat sees the squirrel. The squirrel is nice. The squirrel needs the bald eagle. The squirrel needs the cat. The tiger eats the cat. The tiger is green. The tiger sees the bald eagle. If someone eats the bald eagle then they are nice.
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
The bald eagle needs the squirrel.
("bald eagle" "needs" "squirrel" "+")
The bald eagle sees the squirrel.
("bald eagle" "sees" "squirrel" "+")
The cat is green.
("cat" "is" "green" "+")
The cat is young.
("cat" "is" "young" "+")
The cat sees the squirrel.
("cat" "sees" "squirrel" "+")
The squirrel is nice.
("squirrel" "is" "nice" "+")
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
The squirrel needs the cat.
("squirrel" "needs" "cat" "+")
The tiger eats the cat.
("tiger" "eats" "cat" "+")
The tiger is green.
("tiger" "is" "green" "+")
The tiger sees the bald eagle.
("tiger" "sees" "bald eagle" "+")
If someone eats the bald eagle then they are nice.
((("someone" "eats" "bald eagle" "+")) -> ("someone" "is" "nice" "+"))
The squirrel is nice.
True
1
proof
[(triple7)]
("squirrel" "is" "nice" "+")
triple7
The cat is not green.
False
1
inv-proof
[(triple4)]
("cat" "is" "green" "-")
triple4
The cat is not nice.
Unknown
inv-rconc
[@1: The cat is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cat" "is" "nice" "-")
The bald eagle eats the bald eagle.
Unknown
random
[@0: The bald eagle eats the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "eats" "bald eagle" "+")
@0: The bald eagle eats the squirrel.[(triple1)] The bald eagle needs the squirrel.[(triple2)] The bald eagle sees the squirrel.[(triple3)] The cat is green.[(triple4)] The cat is young.[(triple5)] The cat sees the squirrel.[(triple6)] The squirrel is nice.[(triple7)] The squirrel needs the bald eagle.[(triple8)] The squirrel needs the cat.[(triple9)] The tiger eats the cat.[(triple10)] The tiger is green.[(triple11)] The tiger sees the bald eagle.[(triple12)]
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
triple1
The bald eagle needs the squirrel.
("bald eagle" "needs" "squirrel" "+")
triple2
The bald eagle sees the squirrel.
("bald eagle" "sees" "squirrel" "+")
triple3
The cat is green.
("cat" "is" "green" "+")
triple4
The cat is young.
("cat" "is" "young" "+")
triple5
The cat sees the squirrel.
("cat" "sees" "squirrel" "+")
triple6
The squirrel is nice.
("squirrel" "is" "nice" "+")
triple7
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
triple8
The squirrel needs the cat.
("squirrel" "needs" "cat" "+")
triple9
The tiger eats the cat.
("tiger" "eats" "cat" "+")
triple10
The tiger is green.
("tiger" "is" "green" "+")
triple11
The tiger sees the bald eagle.
("tiger" "sees" "bald eagle" "+")
triple12