The dog eats the rabbit. The dog eats the squirrel. The dog is big. The dog needs the rabbit. The rabbit is big. The rabbit visits the dog. The rabbit visits the squirrel. The squirrel is not nice. The squirrel is rough. The squirrel is young. The squirrel needs the dog. The squirrel visits the rabbit. If someone eats the rabbit then the rabbit eats the squirrel. If the dog does not need the rabbit then the dog is not nice. All rough people are not nice. If someone eats the squirrel and the squirrel is not rough then they visit the dog. If the dog eats the rabbit then the dog needs the squirrel. If someone needs the squirrel then they visit the squirrel.
The rabbit needs the rabbit.
@0: The dog eats the rabbit.[(triple1)] The dog eats the squirrel.[(triple2)] The dog is big.[(triple3)] The dog needs the rabbit.[(triple4)] The rabbit is big.[(triple5)] The rabbit visits the dog.[(triple6)] The rabbit visits the squirrel.[(triple7)] The squirrel is not nice.[(triple8 OR ((triple9) -> rule3))] The squirrel is rough.[(triple9)] The squirrel is young.[(triple10)] The squirrel needs the dog.[(triple11)] The squirrel visits the rabbit.[(triple12)] @1: The dog needs the squirrel.[(((triple1) -> rule5))] The rabbit eats the squirrel.[(((triple1) -> rule1))] @2: The dog visits the squirrel.[(((((triple1) -> rule5)) -> rule6))]