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