The bald eagle chases the squirrel. The bald eagle is nice. The bald eagle is red. The bald eagle visits the squirrel. The cat is green. The cat is red. The cat needs the squirrel. The squirrel chases the cat. The squirrel is green. The squirrel is nice. The squirrel is red. The squirrel needs the bald eagle. The squirrel needs the cat. The squirrel visits the bald eagle. The squirrel visits the cat. If the bald eagle chases the squirrel and the squirrel is nice then the bald eagle is round. If someone needs the bald eagle then the bald eagle is green. If someone chases the bald eagle then the bald eagle chases the squirrel. If someone needs the bald eagle then they need the cat. If someone visits the cat then the cat visits the bald eagle. If someone needs the squirrel then the squirrel chases the cat. If someone is round then they need the bald eagle. If someone chases the cat and the cat needs the bald eagle then the bald eagle is red.
The cat is not nice.
@0: The bald eagle chases the squirrel.[(triple1)] The bald eagle is nice.[(triple2)] The bald eagle is red.[(triple3)] The bald eagle visits the squirrel.[(triple4)] The cat is green.[(triple5)] The cat is red.[(triple6)] The cat needs the squirrel.[(triple7)] The squirrel chases the cat.[(triple8 OR ((triple7) -> rule6))] The squirrel is green.[(triple9)] The squirrel is nice.[(triple10)] The squirrel is red.[(triple11)] The squirrel needs the bald eagle.[(triple12)] The squirrel needs the cat.[(triple13 OR ((triple12) -> rule4))] The squirrel visits the bald eagle.[(triple14)] The squirrel visits the cat.[(triple15)] @1: The bald eagle is green.[(((triple12) -> rule2) OR ((((((triple1 triple10) -> rule1)) -> rule7)) -> rule2))] The bald eagle is round.[(((triple1 triple10) -> rule1))] The cat visits the bald eagle.[(((triple15) -> rule5))] @2: The bald eagle needs the bald eagle.[(((((triple1 triple10) -> rule1)) -> rule7))] @3: The bald eagle needs the cat.[(((((((triple1 triple10) -> rule1)) -> rule7)) -> rule4))]