Bob is not big. Erin is red. Erin is round. Gary is big. Gary is quiet. Gary is round. Harry is quiet. All quiet things are red. All big things are not cold. If something is red and not white then it is round.
Bob is cold.
@0: Bob is not big.[(triple1)] Erin is red.[(triple2)] Erin is round.[(triple3)] Gary is big.[(triple4)] Gary is quiet.[(triple5)] Gary is round.[(triple6)] Harry is quiet.[(triple7)] @1: Gary is not cold.[(((triple4) -> rule2))] Gary is red.[(((triple5) -> rule1))] Harry is red.[(((triple7) -> rule1))]