Anne is big. Bob is not nice. Charlie is big. Harry is red. If someone is red then they are green.
Anne is kind.
@0: Anne is big.[(triple1)] Bob is not nice.[(triple2)] Charlie is big.[(triple3)] Harry is red.[(triple4)] @1: Harry is green.[(((triple4) -> rule1))]