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