The squirrel is big. The squirrel is green. The squirrel is nice. The squirrel is red. The squirrel is not young. If someone is nice and big then they are not young. If the squirrel is nice then the squirrel is green. If the squirrel is big then the squirrel is not young. If someone is big and not green then they are red. Big people are red. If someone is green and not nice then they are red.
The squirrel is not red.
@0: The squirrel is big.[(triple1)] The squirrel is green.[(triple2 OR ((triple3) -> rule2))] The squirrel is nice.[(triple3)] The squirrel is not young.[(triple5 OR ((triple1) -> rule3) OR ((triple3 triple1) -> rule1))] The squirrel is red.[(triple4 OR ((triple1) -> rule5))]