The squirrel is big. The squirrel is blue. The squirrel is kind. The squirrel is nice. The squirrel is rough. If something is big and nice then it is rough. If something is nice and big then it is rough. If something is big then it is rough. If something is big and nice then it is kind. All kind, rough things are big. If the squirrel is rough and the squirrel is blue then the squirrel is big.
The squirrel likes the squirrel.
@0: The squirrel is big.[(triple1 OR ((triple3 triple5) -> rule5) OR ((triple5 triple2) -> rule6))] The squirrel is blue.[(triple2)] The squirrel is kind.[(triple3 OR ((triple1 triple4) -> rule4) OR ((((triple5 triple2) -> rule6) triple4) -> rule4))] The squirrel is nice.[(triple4)] The squirrel is rough.[(triple5 OR ((triple1) -> rule3) OR ((triple1 triple4) -> rule1) OR ((triple4 triple1) -> rule2))]