The squirrel is big. The squirrel is blue. The squirrel is nice. The squirrel is red. The squirrel is round. If someone is round and nice then they are blue.
The squirrel does not like the squirrel.
@0: The squirrel is big.[(triple1)] The squirrel is blue.[(triple2 OR ((triple5 triple3) -> rule1))] The squirrel is nice.[(triple3)] The squirrel is red.[(triple4)] The squirrel is round.[(triple5)]