The cat chases the squirrel. The cat likes the tiger. The cat sees the rabbit. The cat sees the squirrel. The rabbit chases the squirrel. The rabbit is red. The squirrel is green. The squirrel sees the tiger. The tiger chases the squirrel. The tiger is red. The tiger is young. The tiger sees the squirrel. If someone is cold and they like the tiger then the tiger likes the rabbit. If someone likes the rabbit then the rabbit likes the tiger. If someone is big then they chase the cat. If someone likes the rabbit then the rabbit sees the cat. If someone sees the cat then the cat is red. If the cat sees the rabbit then the cat is cold. If someone sees the squirrel then the squirrel chases the rabbit. If someone likes the squirrel then they like the cat. If someone is cold and red then they chase the rabbit.
The tiger does not like the tiger.
@0: The cat chases the squirrel.[(triple1)] The cat likes the tiger.[(triple2)] The cat sees the rabbit.[(triple3)] The cat sees the squirrel.[(triple4)] The rabbit chases the squirrel.[(triple5)] The rabbit is red.[(triple6)] The squirrel is green.[(triple7)] The squirrel sees the tiger.[(triple8)] The tiger chases the squirrel.[(triple9)] The tiger is red.[(triple10)] The tiger is young.[(triple11)] The tiger sees the squirrel.[(triple12)] @1: The cat is cold.[(((triple3) -> rule6))] The squirrel chases the rabbit.[(((triple12) -> rule7) OR ((triple4) -> rule7))] @2: The tiger likes the rabbit.[(((((triple3) -> rule6) triple2) -> rule1))] @3: The rabbit likes the tiger.[(((((((triple3) -> rule6) triple2) -> rule1)) -> rule2))] The rabbit sees the cat.[(((((((triple3) -> rule6) triple2) -> rule1)) -> rule4))] @4: The cat is red.[(((((((((triple3) -> rule6) triple2) -> rule1)) -> rule4)) -> rule5))] @5: The cat chases the rabbit.[(((((triple3) -> rule6) ((((((((triple3) -> rule6) triple2) -> rule1)) -> rule4)) -> rule5)) -> rule9))]