The cat chases the tiger. The cat is cold. The cat is green. The squirrel is cold. The squirrel is green. The squirrel is rough. The squirrel needs the tiger. The tiger chases the squirrel. The tiger needs the cat. The tiger does not need the squirrel. If someone eats the squirrel then the squirrel is not rough. If someone needs the tiger then the tiger eats the cat. If someone eats the squirrel then they need the tiger. If someone chases the cat then the cat is not rough. If someone eats the tiger then the tiger chases the squirrel. If someone eats the squirrel and they eat the cat then the squirrel needs the tiger. If someone is cold then they chase the cat. If someone chases the cat and the cat is not rough then the cat is not kind.
The tiger is big.
@0: The cat chases the tiger.[(triple1)] The cat is cold.[(triple2)] The cat is green.[(triple3)] The squirrel is cold.[(triple4)] The squirrel is green.[(triple5)] The squirrel is rough.[(triple6)] The squirrel needs the tiger.[(triple7)] The tiger chases the squirrel.[(triple8)] The tiger does not need the squirrel.[(triple10)] The tiger needs the cat.[(triple9)] @1: The cat chases the cat.[(((triple2) -> rule7))] The squirrel chases the cat.[(((triple4) -> rule7))] The tiger eats the cat.[(((triple7) -> rule2))] @2: The cat is not rough.[(((((triple2) -> rule7)) -> rule4) OR ((((triple4) -> rule7)) -> rule4))] @3: The cat is not kind.[(((((triple2) -> rule7) ((((triple2) -> rule7)) -> rule4)) -> rule8) OR ((((triple2) -> rule7) ((((triple4) -> rule7)) -> rule4)) -> rule8) OR ((((triple4) -> rule7) ((((triple2) -> rule7)) -> rule4)) -> rule8) OR ((((triple4) -> rule7) ((((triple4) -> rule7)) -> rule4)) -> rule8))]