The cow chases the tiger. The cow eats the tiger. The cow is nice. The cow is rough. The cow needs the mouse. The mouse chases the tiger. The mouse eats the tiger. The mouse needs the tiger. The tiger chases the cow. The tiger eats the cow. The tiger is kind. The tiger needs the mouse. If something needs the cow and the cow is rough then it eats the tiger. If something is blue then it needs the cow. If something eats the tiger then it needs the tiger. If something chases the tiger then the tiger needs the cow. If something is kind and it does not chase the mouse then it does not need the mouse. If something is blue then it is not round.
The tiger eats the tiger.
@0: The cow chases the tiger.[(triple1)] The cow eats the tiger.[(triple2)] The cow is nice.[(triple3)] The cow is rough.[(triple4)] The cow needs the mouse.[(triple5)] The mouse chases the tiger.[(triple6)] The mouse eats the tiger.[(triple7)] The mouse needs the tiger.[(triple8 OR ((triple7) -> rule3))] The tiger chases the cow.[(triple9)] The tiger eats the cow.[(triple10)] The tiger is kind.[(triple11)] The tiger needs the mouse.[(triple12)] @1: The cow needs the tiger.[(((triple2) -> rule3))] The tiger needs the cow.[(((triple1) -> rule4) OR ((triple6) -> rule4))] @2: The tiger eats the tiger.[(((((triple1) -> rule4) triple4) -> rule1) OR ((((triple6) -> rule4) triple4) -> rule1))] @3: The tiger needs the tiger.[(((((((triple1) -> rule4) triple4) -> rule1)) -> rule3) OR ((((((triple6) -> rule4) triple4) -> rule1)) -> rule3))]