The dog chases the squirrel. The dog chases the tiger. The dog eats the tiger. The dog is young. The dog needs the squirrel. The rabbit chases the dog. The rabbit chases the tiger. The squirrel chases the dog. The squirrel is round. The squirrel needs the rabbit. The squirrel needs the tiger. The tiger chases the dog. The tiger eats the dog. The tiger eats the squirrel. The tiger is green. The tiger is round. If someone is green then they eat the rabbit. If someone needs the squirrel and the squirrel is green then they need the tiger. If someone eats the rabbit then they need the squirrel. If the tiger needs the rabbit then the rabbit is green. If someone is nice then they need the rabbit. If the tiger is round then the tiger is young. If someone chases the tiger and the tiger is kind then the tiger eats the rabbit. If someone needs the squirrel then they are nice. If someone chases the tiger then the tiger chases the squirrel.
The tiger is nice.
@0: The dog chases the squirrel.[(triple1)] The dog chases the tiger.[(triple2)] The dog eats the tiger.[(triple3)] The dog is young.[(triple4)] The dog needs the squirrel.[(triple5)] The rabbit chases the dog.[(triple6)] The rabbit chases the tiger.[(triple7)] The squirrel chases the dog.[(triple8)] The squirrel is round.[(triple9)] The squirrel needs the rabbit.[(triple10)] The squirrel needs the tiger.[(triple11)] The tiger chases the dog.[(triple12)] The tiger eats the dog.[(triple13)] The tiger eats the squirrel.[(triple14)] The tiger is green.[(triple15)] The tiger is round.[(triple16)] @1: The dog is nice.[(((triple5) -> rule8))] The tiger chases the squirrel.[(((triple2) -> rule9) OR ((triple7) -> rule9))] The tiger eats the rabbit.[(((triple15) -> rule1))] The tiger is young.[(((triple16) -> rule6))] @2: The dog needs the rabbit.[(((((triple5) -> rule8)) -> rule5))] The tiger needs the squirrel.[(((((triple15) -> rule1)) -> rule3))] @3: The tiger is nice.[(((((((triple15) -> rule1)) -> rule3)) -> rule8))] @4: The tiger needs the rabbit.[(((((((((triple15) -> rule1)) -> rule3)) -> rule8)) -> rule5))] @5: The rabbit is green.[(((((((((((triple15) -> rule1)) -> rule3)) -> rule8)) -> rule5)) -> rule4))] @6: The rabbit eats the rabbit.[(((((((((((((triple15) -> rule1)) -> rule3)) -> rule8)) -> rule5)) -> rule4)) -> rule1))] @7: The rabbit needs the squirrel.[(((((((((((((((triple15) -> rule1)) -> rule3)) -> rule8)) -> rule5)) -> rule4)) -> rule1)) -> rule3))] @8: The rabbit is nice.[(((((((((((((((((triple15) -> rule1)) -> rule3)) -> rule8)) -> rule5)) -> rule4)) -> rule1)) -> rule3)) -> rule8))] @9: The rabbit needs the rabbit.[(((((((((((((((((((triple15) -> rule1)) -> rule3)) -> rule8)) -> rule5)) -> rule4)) -> rule1)) -> rule3)) -> rule8)) -> rule5))]