The squirrel is big. The squirrel is kind. The squirrel is nice. The squirrel is red. The squirrel is young. If someone is young then they are big. If the squirrel is kind then the squirrel is red. If someone is kind and young then they are nice.
The squirrel sees the squirrel.
@0: The squirrel is big.[(triple1 OR ((triple5) -> rule1))] The squirrel is kind.[(triple2)] The squirrel is nice.[(triple3 OR ((triple2 triple5) -> rule3))] The squirrel is red.[(triple4 OR ((triple2) -> rule2))] The squirrel is young.[(triple5)]