Charlie is big. Erin is red. Erin is white. Gary is kind. Harry is kind. Harry is red. Harry is white. White people are quiet. If Harry is white then Harry is nice. If someone is big then they are red.
Charlie is not quiet.
@0: Charlie is big.[(triple1)] Erin is red.[(triple2)] Erin is white.[(triple3)] Gary is kind.[(triple4)] Harry is kind.[(triple5)] Harry is red.[(triple6)] Harry is white.[(triple7)] @1: Charlie is red.[(((triple1) -> rule3))] Erin is quiet.[(((triple3) -> rule1))] Harry is nice.[(((triple7) -> rule2))] Harry is quiet.[(((triple7) -> rule1))]