The squirrel is big. The squirrel is blue. The squirrel is green. The squirrel is nice. The squirrel is round. Round, big things are blue. If the squirrel is nice then the squirrel is green. If the squirrel is round and the squirrel is nice then the squirrel is big.
The squirrel does not like the squirrel.
@0: The squirrel is big.[(triple1 OR ((triple5 triple4) -> rule3))] The squirrel is blue.[(triple2 OR ((triple5 triple1) -> rule1) OR ((triple5 ((triple5 triple4) -> rule3)) -> rule1))] The squirrel is green.[(triple3 OR ((triple4) -> rule2))] The squirrel is nice.[(triple4)] The squirrel is round.[(triple5)]