Anne is nice. Anne is quiet. Bob is big. Bob is red. Gary is red. Harry is blue. Harry is rough. Nice, rough people are blue. If Anne is quiet then Anne is big.
Anne is red.
@0: Anne is nice.[(triple1)] Anne is quiet.[(triple2)] Bob is big.[(triple3)] Bob is red.[(triple4)] Gary is red.[(triple5)] Harry is blue.[(triple6)] Harry is rough.[(triple7)] @1: Anne is big.[(((triple2) -> rule2))]