The squirrel is big. The squirrel is cold. The squirrel is nice. The squirrel is round. The squirrel is young. If something is young then it is big. If something is nice and not young then it is cold. If something is big and not nice then it is cold. If the squirrel is not young then the squirrel is not round. If something is young then it is round. If something is nice and big then it is round. If something is young and not cold then it is not round. If something is young and not cold then it is not round.
The squirrel is not round.
@0: The squirrel is big.[(triple1 OR ((triple5) -> rule1))] The squirrel is cold.[(triple2)] The squirrel is nice.[(triple3)] The squirrel is round.[(triple4 OR ((triple5) -> rule5) OR ((triple3 triple1) -> rule6) OR ((triple3 ((triple5) -> rule1)) -> rule6))] The squirrel is young.[(triple5)]