The bald eagle is young. The bald eagle likes the squirrel. The bald eagle visits the squirrel. The cat is kind. The cat visits the squirrel. The squirrel chases the cat. The squirrel chases the tiger. The squirrel is young. The squirrel visits the cat. The tiger is cold. If the tiger is cold and the tiger visits the bald eagle then the tiger likes the cat. If the tiger is young then the tiger chases the squirrel. If something is kind then it chases the cat. If something likes the tiger and it is big then it is cold. All young things are kind. If something chases the squirrel and the squirrel is big then it visits the cat.
The squirrel is kind.
@0: The bald eagle is young.[(triple1)] The bald eagle likes the squirrel.[(triple2)] The bald eagle visits the squirrel.[(triple3)] The cat is kind.[(triple4)] The cat visits the squirrel.[(triple5)] The squirrel chases the cat.[(triple6 OR ((((triple8) -> rule5)) -> rule3))] The squirrel chases the tiger.[(triple7)] The squirrel is young.[(triple8)] The squirrel visits the cat.[(triple9)] The tiger is cold.[(triple10)] @1: The bald eagle is kind.[(((triple1) -> rule5))] The cat chases the cat.[(((triple4) -> rule3))] The squirrel is kind.[(((triple8) -> rule5))] @2: The bald eagle chases the cat.[(((((triple1) -> rule5)) -> rule3))]