The cat chases the squirrel. The cat chases the tiger. The cat eats the tiger. The cat is big. The cat needs the tiger. The squirrel chases the cat. The squirrel chases the tiger. The squirrel eats the cat. The squirrel eats the tiger. The squirrel is nice. The squirrel needs the tiger. The tiger chases the squirrel. The tiger eats the squirrel. The tiger is nice. The tiger is young. If someone chases the cat and the cat eats the squirrel then the cat needs the tiger. If someone chases the tiger and they chase the squirrel then the tiger needs the squirrel. If the squirrel eats the tiger then the squirrel chases the tiger. Blue, nice people are young. If someone needs the squirrel then the squirrel eats the tiger. If someone needs the tiger and the tiger is blue then the tiger eats the cat. If someone needs the squirrel then they are blue. If someone chases the tiger and they chase the cat then the tiger chases the cat.
The tiger does not chase the cat.
@0: The cat chases the squirrel.[(triple1)] The cat chases the tiger.[(triple2)] The cat eats the tiger.[(triple3)] The cat is big.[(triple4)] The cat needs the tiger.[(triple5)] The squirrel chases the cat.[(triple6)] The squirrel chases the tiger.[(triple7 OR ((triple9) -> rule3) OR ((((((triple2 triple1) -> rule2)) -> rule5)) -> rule3))] The squirrel eats the cat.[(triple8)] The squirrel eats the tiger.[(triple9 OR ((((triple2 triple1) -> rule2)) -> rule5))] The squirrel is nice.[(triple10)] The squirrel needs the tiger.[(triple11)] The tiger chases the squirrel.[(triple12)] The tiger eats the squirrel.[(triple13)] The tiger is nice.[(triple14)] The tiger is young.[(triple15 OR ((((((triple2 triple1) -> rule2)) -> rule7) triple14) -> rule4))] @1: The tiger chases the cat.[(((triple7 triple6) -> rule8) OR ((((triple9) -> rule3) triple6) -> rule8) OR ((((((((triple2 triple1) -> rule2)) -> rule5)) -> rule3) triple6) -> rule8))] The tiger needs the squirrel.[(((triple2 triple1) -> rule2))] @2: The tiger is blue.[(((((triple2 triple1) -> rule2)) -> rule7))] @3: The tiger eats the cat.[(((triple11 ((((triple2 triple1) -> rule2)) -> rule7)) -> rule6) OR ((triple5 ((((triple2 triple1) -> rule2)) -> rule7)) -> rule6))]