The cat eats the squirrel. The cat is kind. The cat is round. The cat likes the squirrel. The cat sees the squirrel. The squirrel eats the cat. The squirrel is not green. The squirrel is kind. The squirrel does not like the cat. The squirrel sees the cat. If someone eats the cat then the cat is round.
The squirrel likes the cat.
@0: The cat eats the squirrel.[(triple1)] The cat is kind.[(triple2)] The cat is round.[(triple3 OR ((triple6) -> rule1))] The cat likes the squirrel.[(triple4)] The cat sees the squirrel.[(triple5)] The squirrel does not like the cat.[(triple9)] The squirrel eats the cat.[(triple6)] The squirrel is kind.[(triple8)] The squirrel is not green.[(triple7)] The squirrel sees the cat.[(triple10)]