The cat does not eat the squirrel. The cat is big. The cat is blue. The cat is rough. The cat is round. The cat is young. The cat needs the squirrel. The cat does not see the squirrel. The squirrel is blue. The squirrel is not rough. The squirrel is round. The squirrel does not see the cat. If someone is big then they are young. If someone eats the cat and they need the cat then the cat is blue. If someone is blue then they need the cat. If someone needs the cat then they are big. If the squirrel needs the cat and the cat sees the squirrel then the squirrel does not see the cat. If someone eats the cat and they eat the squirrel then the squirrel does not need the cat. If someone needs the cat and the cat is not young then they are round. If someone is round and not blue then they need the squirrel.
The squirrel does not eat the squirrel.
@0: The cat does not eat the squirrel.[(triple1)] The cat does not see the squirrel.[(triple8)] The cat is big.[(triple2 OR ((((triple3) -> rule3)) -> rule4))] The cat is blue.[(triple3)] The cat is rough.[(triple4)] The cat is round.[(triple5)] The cat is young.[(triple6 OR ((triple2) -> rule1) OR ((((((triple3) -> rule3)) -> rule4)) -> rule1))] The cat needs the squirrel.[(triple7)] The squirrel does not see the cat.[(triple12)] The squirrel is blue.[(triple9)] The squirrel is not rough.[(triple10)] The squirrel is round.[(triple11)] @1: The cat needs the cat.[(((triple3) -> rule3))] The squirrel needs the cat.[(((triple9) -> rule3))] @2: The squirrel is big.[(((((triple9) -> rule3)) -> rule4))] @3: The squirrel is young.[(((((((triple9) -> rule3)) -> rule4)) -> rule1))]