The squirrel is big. The squirrel is blue. The squirrel is kind. The squirrel is nice. The squirrel is red. All nice, kind people are big. If the squirrel is red then the squirrel is nice.
The squirrel is big.
@0: The squirrel is big.[(triple1 OR ((triple4 triple3) -> rule1) OR ((((triple5) -> rule2) triple3) -> rule1))] The squirrel is blue.[(triple2)] The squirrel is kind.[(triple3)] The squirrel is nice.[(triple4 OR ((triple5) -> rule2))] The squirrel is red.[(triple5)]