The squirrel is not big. The squirrel is kind. The squirrel is nice. The squirrel is round. The squirrel is not young. If someone is young then they are kind. Kind, nice people are round. All kind people are nice.
The squirrel is big.
@0: The squirrel is kind.[(triple2)] The squirrel is nice.[(triple3 OR ((triple2) -> rule3))] The squirrel is not big.[(triple1)] The squirrel is not young.[(triple5)] The squirrel is round.[(triple4 OR ((triple2 triple3) -> rule2) OR ((triple2 ((triple2) -> rule3)) -> rule2))]