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.
Charlie is green.
@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))]