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