Bob is big. Charlie is not big. Charlie is green. Charlie is nice. Charlie is white. Erin is green. Harry is red. Green people are not big.
Erin is not big.
@0: Bob is big.[(triple1)] Charlie is green.[(triple3)] Charlie is nice.[(triple4)] Charlie is not big.[(triple2 OR ((triple3) -> rule1))] Charlie is white.[(triple5)] Erin is green.[(triple6)] Harry is red.[(triple7)] @1: Erin is not big.[(((triple6) -> rule1))]