The dog eats the squirrel. The dog is big. The dog needs the rabbit. The dog needs the squirrel. The rabbit eats the dog. The rabbit eats the squirrel. The rabbit is nice. The rabbit is round. The rabbit visits the dog. The rabbit visits the squirrel. The squirrel eats the rabbit. The squirrel is cold. The squirrel is red. The squirrel is round. The squirrel visits the dog. If someone is red then they visit the rabbit. If someone is nice then they visit the dog. If the dog eats the rabbit then the dog needs the squirrel.
The rabbit is round.
@0: The dog eats the squirrel.[(triple1)] The dog is big.[(triple2)] The dog needs the rabbit.[(triple3)] The dog needs the squirrel.[(triple4)] The rabbit eats the dog.[(triple5)] The rabbit eats the squirrel.[(triple6)] The rabbit is nice.[(triple7)] The rabbit is round.[(triple8)] The rabbit visits the dog.[(triple9 OR ((triple7) -> rule2))] The rabbit visits the squirrel.[(triple10)] The squirrel eats the rabbit.[(triple11)] The squirrel is cold.[(triple12)] The squirrel is red.[(triple13)] The squirrel is round.[(triple14)] The squirrel visits the dog.[(triple15)] @1: The squirrel visits the rabbit.[(((triple13) -> rule1))]