The cow chases the squirrel. The cow is red. The squirrel chases the cow. The squirrel chases the tiger. The squirrel is blue. The squirrel is cold. The squirrel is nice. The squirrel is red. The squirrel likes the tiger. The tiger chases the cow. The tiger chases the squirrel. The tiger is big. The tiger is blue. The tiger is nice. The tiger likes the cow. The tiger sees the cow. If someone is cold then they see the squirrel. If someone sees the cow then the cow likes the tiger. If someone likes the squirrel and the squirrel sees the cow then the cow chases the squirrel. If someone likes the squirrel and they like the tiger then the squirrel chases the cow. If someone sees the tiger then they chase the cow. If someone chases the tiger then they see the cow. If someone sees the squirrel then they see the tiger. If someone sees the tiger and they see the cow then the tiger likes the squirrel.
The tiger does not like the cow.
@0: The cow chases the squirrel.[(triple1 OR ((((((((triple6) -> rule1)) -> rule7) ((triple4) -> rule6)) -> rule8) ((triple4) -> rule6)) -> rule3))] The cow is red.[(triple2)] The squirrel chases the cow.[(triple3 OR ((((((triple6) -> rule1)) -> rule7)) -> rule5))] The squirrel chases the tiger.[(triple4)] The squirrel is blue.[(triple5)] The squirrel is cold.[(triple6)] The squirrel is nice.[(triple7)] The squirrel is red.[(triple8)] The squirrel likes the tiger.[(triple9)] The tiger chases the cow.[(triple10)] The tiger chases the squirrel.[(triple11)] The tiger is big.[(triple12)] The tiger is blue.[(triple13)] The tiger is nice.[(triple14)] The tiger likes the cow.[(triple15)] The tiger sees the cow.[(triple16)] @1: The cow likes the tiger.[(((triple16) -> rule2) OR ((((triple4) -> rule6)) -> rule2))] The squirrel sees the cow.[(((triple4) -> rule6))] The squirrel sees the squirrel.[(((triple6) -> rule1))] @2: The squirrel sees the tiger.[(((((triple6) -> rule1)) -> rule7))] @3: The tiger likes the squirrel.[(((((((triple6) -> rule1)) -> rule7) ((triple4) -> rule6)) -> rule8))]