The cat does not chase the squirrel. The cat is big. The cat is green. The cat is rough. The cat likes the squirrel. The squirrel does not chase the cat. The squirrel is big. The squirrel is not cold. The squirrel is rough. The squirrel is round. The squirrel does not like the cat. The squirrel needs the cat. If someone is big and green then they like the squirrel. If someone is cold and not green then they like the squirrel. If someone needs the cat and the cat is round then they do not like the squirrel. If someone likes the cat then the cat needs the squirrel. If someone likes the squirrel and they are rough then they chase the cat. If someone is green and they like the cat then they need the cat.
The squirrel does not like the squirrel.
@0: The cat does not chase the squirrel.[(triple1)] The cat is big.[(triple2)] The cat is green.[(triple3)] The cat is rough.[(triple4)] The cat likes the squirrel.[(triple5 OR ((triple2 triple3) -> rule1))] The squirrel does not chase the cat.[(triple6)] The squirrel does not like the cat.[(triple11)] The squirrel is big.[(triple7)] The squirrel is not cold.[(triple8)] The squirrel is rough.[(triple9)] The squirrel is round.[(triple10)] The squirrel needs the cat.[(triple12)] @1: The cat chases the cat.[(((triple5 triple4) -> rule5) OR ((((triple2 triple3) -> rule1) triple4) -> rule5))]