The dog does not chase the squirrel. The dog chases the tiger. The dog does not eat the squirrel. The dog is green. The dog is not red. The dog does not visit the rabbit. The rabbit is kind. The squirrel is green. The squirrel is red. The tiger chases the rabbit. The tiger eats the dog. If someone is kind then they eat the tiger. All kind people are round. If the rabbit chases the squirrel and the rabbit is green then the squirrel chases the rabbit. If someone is round then they chase the squirrel. If the dog is nice then the dog eats the squirrel. If someone is green then they eat the rabbit. If someone eats the tiger then they are green. If someone chases the rabbit then they are kind.
The tiger eats the squirrel.
@0: The dog chases the tiger.[(triple2)] The dog does not chase the squirrel.[(triple1)] The dog does not eat the squirrel.[(triple3)] The dog does not visit the rabbit.[(triple6)] The dog is green.[(triple4)] The dog is not red.[(triple5)] The rabbit is kind.[(triple7)] The squirrel is green.[(triple8 OR ((((((((((((triple7) -> rule2)) -> rule4) ((((triple7) -> rule1)) -> rule7)) -> rule3)) -> rule8)) -> rule1)) -> rule7))] The squirrel is red.[(triple9)] The tiger chases the rabbit.[(triple10)] The tiger eats the dog.[(triple11)] @1: The dog eats the rabbit.[(((triple4) -> rule6))] The rabbit eats the tiger.[(((triple7) -> rule1))] The rabbit is round.[(((triple7) -> rule2))] The squirrel eats the rabbit.[(((triple8) -> rule6) OR ((((((((((((((triple7) -> rule2)) -> rule4) ((((triple7) -> rule1)) -> rule7)) -> rule3)) -> rule8)) -> rule1)) -> rule7)) -> rule6))] The tiger is kind.[(((triple10) -> rule8))] @2: The rabbit chases the squirrel.[(((((triple7) -> rule2)) -> rule4))] The rabbit is green.[(((((triple7) -> rule1)) -> rule7))] The tiger eats the tiger.[(((((triple10) -> rule8)) -> rule1))] The tiger is round.[(((((triple10) -> rule8)) -> rule2))] @3: The rabbit eats the rabbit.[(((((((triple7) -> rule1)) -> rule7)) -> rule6))] The squirrel chases the rabbit.[(((((((triple7) -> rule2)) -> rule4) ((((triple7) -> rule1)) -> rule7)) -> rule3))] The tiger chases the squirrel.[(((((((triple10) -> rule8)) -> rule2)) -> rule4))] The tiger is green.[(((((((triple10) -> rule8)) -> rule1)) -> rule7))] @4: The squirrel is kind.[(((((((((triple7) -> rule2)) -> rule4) ((((triple7) -> rule1)) -> rule7)) -> rule3)) -> rule8))] The tiger eats the rabbit.[(((((((((triple10) -> rule8)) -> rule1)) -> rule7)) -> rule6))] @5: The squirrel eats the tiger.[(((((((((((triple7) -> rule2)) -> rule4) ((((triple7) -> rule1)) -> rule7)) -> rule3)) -> rule8)) -> rule1))] The squirrel is round.[(((((((((((triple7) -> rule2)) -> rule4) ((((triple7) -> rule1)) -> rule7)) -> rule3)) -> rule8)) -> rule2))] @6: The squirrel chases the squirrel.[(((((((((((((triple7) -> rule2)) -> rule4) ((((triple7) -> rule1)) -> rule7)) -> rule3)) -> rule8)) -> rule2)) -> rule4))]