The cat is nice. The cat is red. The cat sees the squirrel. The squirrel chases the cat. The squirrel is nice. The squirrel is red. The squirrel is rough. The squirrel is round. The squirrel likes the cat. The squirrel sees the cat. If someone is round and they like the cat then they see the squirrel. If someone is kind then they see the cat. If someone likes the cat and the cat chases the squirrel then the cat sees the squirrel. If the cat likes the squirrel then the cat sees the squirrel. If someone likes the squirrel and the squirrel likes the cat then the squirrel is kind. If the squirrel chases the cat and the squirrel is rough then the cat likes the squirrel.
The cat is red.
@0: The cat is nice.[(triple1)] The cat is red.[(triple2)] The cat sees the squirrel.[(triple3 OR ((((triple4 triple7) -> rule6)) -> rule4))] The squirrel chases the cat.[(triple4)] The squirrel is nice.[(triple5)] The squirrel is red.[(triple6)] The squirrel is rough.[(triple7)] The squirrel is round.[(triple8)] The squirrel likes the cat.[(triple9)] The squirrel sees the cat.[(triple10 OR ((((((triple4 triple7) -> rule6) triple9) -> rule5)) -> rule2))] @1: The cat likes the squirrel.[(((triple4 triple7) -> rule6))] The squirrel sees the squirrel.[(((triple8 triple9) -> rule1))] @2: The squirrel is kind.[(((((triple4 triple7) -> rule6) triple9) -> rule5))]