The cat chases the lion. The cat chases the squirrel. The cat is nice. The lion is nice. The lion likes the cat. The lion sees the cat. The lion sees the squirrel. The squirrel is not rough. The squirrel does not like the cat. The squirrel likes the lion. If something sees the cat then the cat likes the squirrel. If something is green and it chases the lion then the lion is green. If something likes the cat then it is green. If something likes the squirrel then it sees the cat. If something is red then it likes the squirrel. If something likes the cat then it chases the squirrel. If something is green and not rough then it is kind. If something sees the squirrel and the squirrel sees the cat then the cat does not like the lion.
The cat is nice.
@0: The cat chases the lion.[(triple1)] The cat chases the squirrel.[(triple2)] The cat is nice.[(triple3)] The lion is nice.[(triple4)] The lion likes the cat.[(triple5)] The lion sees the cat.[(triple6)] The lion sees the squirrel.[(triple7)] The squirrel does not like the cat.[(triple9)] The squirrel is not rough.[(triple8)] The squirrel likes the lion.[(triple10)] @1: The cat likes the squirrel.[(((triple6) -> rule1))] The lion chases the squirrel.[(((triple5) -> rule6))] The lion is green.[(((triple5) -> rule3))] @2: The cat sees the cat.[(((((triple6) -> rule1)) -> rule4))]