The cat chases the squirrel. The rabbit is red. The rabbit sees the tiger. The squirrel chases the rabbit. The squirrel does not see the rabbit. The tiger needs the squirrel. The tiger sees the squirrel. If something chases the rabbit then it is big. If something chases the cat then the cat chases the rabbit. If something is big and it chases the rabbit then it chases the cat. All big things are not green. All blue, green things are not cold. If something chases the rabbit then the rabbit does not chase the tiger. If the tiger sees the rabbit then the tiger is blue.
The cat does not need the cat.
@0: The cat chases the squirrel.[(triple1)] The rabbit is red.[(triple2)] The rabbit sees the tiger.[(triple3)] The squirrel chases the rabbit.[(triple4)] The squirrel does not see the rabbit.[(triple5)] The tiger needs the squirrel.[(triple6)] The tiger sees the squirrel.[(triple7)] @1: The rabbit does not chase the tiger.[(((triple4) -> rule6) OR ((((((((triple4) -> rule1) triple4) -> rule3)) -> rule2)) -> rule6))] The squirrel is big.[(((triple4) -> rule1))] @2: The squirrel chases the cat.[(((((triple4) -> rule1) triple4) -> rule3))] The squirrel is not green.[(((((triple4) -> rule1)) -> rule4))] @3: The cat chases the rabbit.[(((((((triple4) -> rule1) triple4) -> rule3)) -> rule2))] @4: The cat is big.[(((((((((triple4) -> rule1) triple4) -> rule3)) -> rule2)) -> rule1))] @5: The cat chases the cat.[(((((((((((triple4) -> rule1) triple4) -> rule3)) -> rule2)) -> rule1) ((((((triple4) -> rule1) triple4) -> rule3)) -> rule2)) -> rule3))] The cat is not green.[(((((((((((triple4) -> rule1) triple4) -> rule3)) -> rule2)) -> rule1)) -> rule4))]