The cat is big. The cat likes the lion. The lion chases the cat. The lion is kind. The lion is round. The lion likes the cat. The lion likes the squirrel. The squirrel chases the cat. The squirrel chases the lion. The squirrel eats the cat. The squirrel eats the lion. The squirrel is cold. The squirrel is kind. The squirrel is round. The squirrel likes the cat. The squirrel likes the lion. If someone is cold and rough then they like the squirrel. If someone likes the squirrel and they eat the squirrel then they eat the cat. If someone chases the squirrel and the squirrel is cold then the squirrel is rough. If someone is kind then they chase the squirrel. If someone is cold and they eat the squirrel then the squirrel is round. If the cat is cold and the cat likes the lion then the cat eats the squirrel.
The lion eats the cat.
@0: The cat is big.[(triple1)] The cat likes the lion.[(triple2)] The lion chases the cat.[(triple3)] The lion is kind.[(triple4)] The lion is round.[(triple5)] The lion likes the cat.[(triple6)] The lion likes the squirrel.[(triple7)] The squirrel chases the cat.[(triple8)] The squirrel chases the lion.[(triple9)] The squirrel eats the cat.[(triple10)] The squirrel eats the lion.[(triple11)] The squirrel is cold.[(triple12)] The squirrel is kind.[(triple13)] The squirrel is round.[(triple14)] The squirrel likes the cat.[(triple15)] The squirrel likes the lion.[(triple16)] @1: The lion chases the squirrel.[(((triple4) -> rule4))] The squirrel chases the squirrel.[(((triple13) -> rule4))] @2: The squirrel is rough.[(((((triple13) -> rule4) triple12) -> rule3) OR ((((triple4) -> rule4) triple12) -> rule3))] @3: The squirrel likes the squirrel.[(((triple12 ((((triple13) -> rule4) triple12) -> rule3)) -> rule1) OR ((triple12 ((((triple4) -> rule4) triple12) -> rule3)) -> rule1))]