The squirrel is big. The squirrel is blue. The squirrel is cold. The squirrel is green. The squirrel is nice. If something is big and blue then it is nice. All blue, big things are nice.
The squirrel is big.
@0: The squirrel is big.[(triple1)] The squirrel is blue.[(triple2)] The squirrel is cold.[(triple3)] The squirrel is green.[(triple4)] The squirrel is nice.[(triple5 OR ((triple1 triple2) -> rule1) OR ((triple2 triple1) -> rule2))]