The cat is big. The cat is kind. The cat is nice. The cat is round. The cat is young. The cat likes the squirrel. The cat needs the squirrel. The cat sees the squirrel. The squirrel is big. The squirrel is kind. The squirrel is nice. The squirrel is round. The squirrel is young. The squirrel likes the cat. The squirrel needs the cat. The squirrel sees the cat. If someone is young then they like the cat. If someone likes the squirrel then the squirrel is young.
The cat does not like the squirrel.
@0: The cat is big.[(triple1)] The cat is kind.[(triple2)] The cat is nice.[(triple3)] The cat is round.[(triple4)] The cat is young.[(triple5)] The cat likes the squirrel.[(triple6)] The cat needs the squirrel.[(triple7)] The cat sees the squirrel.[(triple8)] The squirrel is big.[(triple9)] The squirrel is kind.[(triple10)] The squirrel is nice.[(triple11)] The squirrel is round.[(triple12)] The squirrel is young.[(triple13 OR ((triple6) -> rule2))] The squirrel likes the cat.[(triple14 OR ((triple13) -> rule1) OR ((((triple6) -> rule2)) -> rule1))] The squirrel needs the cat.[(triple15)] The squirrel sees the cat.[(triple16)] @1: The cat likes the cat.[(((triple5) -> rule1))]