The cat chases the squirrel. The cat is blue. The cat is cold. The cat is red. The cat is round. The cat sees the squirrel. The cat visits the squirrel. The squirrel chases the cat. The squirrel is round. The squirrel sees the cat. If something is blue and it chases the squirrel then it is cold. If something sees the cat then the cat visits the squirrel. If something sees the squirrel then the squirrel is rough. If something sees the squirrel then the squirrel chases the cat. If the cat is red then the cat is rough. If something is cold and it visits the cat then the cat chases the squirrel.
The cat is not rough.
@0: The cat chases the squirrel.[(triple1)] The cat is blue.[(triple2)] The cat is cold.[(triple3 OR ((triple2 triple1) -> rule1))] The cat is red.[(triple4)] The cat is round.[(triple5)] The cat sees the squirrel.[(triple6)] The cat visits the squirrel.[(triple7 OR ((triple10) -> rule2))] The squirrel chases the cat.[(triple8 OR ((triple6) -> rule4))] The squirrel is round.[(triple9)] The squirrel sees the cat.[(triple10)] @1: The cat is rough.[(((triple4) -> rule5))] The squirrel is rough.[(((triple6) -> rule3))]