The cat chases the squirrel. The cat is big. The cat is cold. The cat is not green. The cat is nice. The cat is rough. The cat sees the squirrel. The squirrel chases the cat. The squirrel eats the cat. The squirrel is big. The squirrel is cold. The squirrel is green. The squirrel is nice. The squirrel is not rough. The squirrel sees the cat. If the squirrel is not nice then the squirrel chases the cat. If the cat is green then the cat is not rough. If the squirrel is big then the squirrel sees the cat. If someone eats the squirrel then the squirrel sees the cat. If someone is nice and big then they are cold. If the cat is green then the cat sees the squirrel.
The cat is nice.
@0: The cat chases the squirrel.[(triple1)] The cat is big.[(triple2)] The cat is cold.[(triple3 OR ((triple5 triple2) -> rule5))] The cat is nice.[(triple5)] The cat is not green.[(triple4)] The cat is rough.[(triple6)] The cat sees the squirrel.[(triple7)] The squirrel chases the cat.[(triple8)] The squirrel eats the cat.[(triple9)] The squirrel is big.[(triple10)] The squirrel is cold.[(triple11 OR ((triple13 triple10) -> rule5))] The squirrel is green.[(triple12)] The squirrel is nice.[(triple13)] The squirrel is not rough.[(triple14)] The squirrel sees the cat.[(triple15 OR ((triple10) -> rule3))]