The bald eagle eats the squirrel. The bald eagle is green. The bald eagle is kind. The bald eagle is red. The bald eagle visits the cat. The bald eagle visits the squirrel. The cat eats the squirrel. The squirrel chases the bald eagle. The squirrel visits the bald eagle. The squirrel visits the cat. If someone eats the cat then the cat chases the squirrel. If someone visits the bald eagle and the bald eagle is red then the bald eagle is nice.
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
The bald eagle is green.
("bald eagle" "is" "green" "+")
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
The bald eagle is red.
("bald eagle" "is" "red" "+")
The bald eagle visits the cat.
("bald eagle" "visits" "cat" "+")
The bald eagle visits the squirrel.
("bald eagle" "visits" "squirrel" "+")
The cat eats the squirrel.
("cat" "eats" "squirrel" "+")
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
The squirrel visits the cat.
("squirrel" "visits" "cat" "+")
If someone eats the cat then the cat chases the squirrel.
((("someone" "eats" "cat" "+")) -> ("cat" "chases" "squirrel" "+"))
If someone visits the bald eagle and the bald eagle is red then the bald eagle is nice.
((("someone" "visits" "bald eagle" "+") ("bald eagle" "is" "red" "+")) -> ("bald eagle" "is" "nice" "+"))
The bald eagle is kind.
True
1
proof
[(triple3)]
("bald eagle" "is" "kind" "+")
triple3
The bald eagle is not green.
False
1
inv-proof
[(triple2)]
("bald eagle" "is" "green" "-")
triple2
The bald eagle is nice.
True
3
proof
[(((triple9 triple4) -> rule2))]
("bald eagle" "is" "nice" "+")
((triple9 triple4) -> (rule2 % int1))
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int1
The bald eagle is not nice.
False
3
inv-proof
[(((triple9 triple4) -> rule2))]
("bald eagle" "is" "nice" "-")
((triple9 triple4) -> (rule2 % int1))
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int1
The cat does not chase the squirrel.
Unknown
inv-rconc
[@1: The cat chases the squirrel.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cat" "chases" "squirrel" "-")
The bald eagle eats the cat.
Unknown
random
[@0: The bald eagle eats the cat.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "eats" "cat" "+")
The squirrel does not chase the squirrel.
Unknown
inv-random
[@0: The squirrel chases the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "chases" "squirrel" "-")
The cat eats the cat.
Unknown
random
[@0: The cat eats the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "eats" "cat" "+")
@0: The bald eagle eats the squirrel.[(triple1)] The bald eagle is green.[(triple2)] The bald eagle is kind.[(triple3)] The bald eagle is red.[(triple4)] The bald eagle visits the cat.[(triple5)] The bald eagle visits the squirrel.[(triple6)] The cat eats the squirrel.[(triple7)] The squirrel chases the bald eagle.[(triple8)] The squirrel visits the bald eagle.[(triple9)] The squirrel visits the cat.[(triple10)] @1: The bald eagle is nice.[(((triple9 triple4) -> rule2))]
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
triple1
The bald eagle is green.
("bald eagle" "is" "green" "+")
triple2
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
triple3
The bald eagle is red.
("bald eagle" "is" "red" "+")
triple4
The bald eagle visits the cat.
("bald eagle" "visits" "cat" "+")
triple5
The bald eagle visits the squirrel.
("bald eagle" "visits" "squirrel" "+")
triple6
The cat eats the squirrel.
("cat" "eats" "squirrel" "+")
triple7
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
triple8
The squirrel visits the bald eagle.
("squirrel" "visits" "bald eagle" "+")
triple9
The squirrel visits the cat.
("squirrel" "visits" "cat" "+")
triple10
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
((triple9 triple4) -> (rule2 % int1))
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int1