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