The bald eagle is red. The bald eagle sees the rabbit. The bald eagle sees the squirrel. The bald eagle visits the squirrel. The cow needs the bald eagle. The cow needs the squirrel. The cow visits the bald eagle. The rabbit is round. The rabbit sees the bald eagle. The rabbit visits the bald eagle. The squirrel is big. The squirrel is round. The squirrel is young. The squirrel needs the rabbit. The squirrel visits the rabbit. If something is red and young then it sees the bald eagle. If something is big then it is round.
The cow is not round.
@0: The bald eagle is red.[(triple1)] The bald eagle sees the rabbit.[(triple2)] The bald eagle sees the squirrel.[(triple3)] The bald eagle visits the squirrel.[(triple4)] The cow needs the bald eagle.[(triple5)] The cow needs the squirrel.[(triple6)] The cow visits the bald eagle.[(triple7)] The rabbit is round.[(triple8)] The rabbit sees the bald eagle.[(triple9)] The rabbit visits the bald eagle.[(triple10)] The squirrel is big.[(triple11)] The squirrel is round.[(triple12 OR ((triple11) -> rule2))] The squirrel is young.[(triple13)] The squirrel needs the rabbit.[(triple14)] The squirrel visits the rabbit.[(triple15)]