The bald eagle visits the tiger. The lion sees the tiger. The squirrel is young. The tiger visits the bald eagle. If the bald eagle visits the tiger then the bald eagle sees the tiger. If something sees the squirrel then it is round. If something chases the squirrel then it is kind. If something chases the tiger then the tiger is rough. If the lion is kind then the lion sees the squirrel. If something is rough then it sees the squirrel. If something sees the tiger then it is kind. If the tiger is big then the tiger visits the bald eagle.
The bald eagle does not see the tiger.
@0: The bald eagle visits the tiger.[(triple1)] The lion sees the tiger.[(triple2)] The squirrel is young.[(triple3)] The tiger visits the bald eagle.[(triple4)] @1: The bald eagle sees the tiger.[(((triple1) -> rule1))] The lion is kind.[(((triple2) -> rule7))] @2: The bald eagle is kind.[(((((triple1) -> rule1)) -> rule7))] The lion sees the squirrel.[(((((triple2) -> rule7)) -> rule5))] @3: The lion is round.[(((((((triple2) -> rule7)) -> rule5)) -> rule2))]