Bob is nice. Bob is quiet. Erin is cold. Erin is nice. Gary is big. Gary is blue. Gary is quiet. If something is nice then it is cold. If Erin is blue and Erin is kind then Erin is quiet.
Gary is not cold.
@0: Bob is nice.[(triple1)] Bob is quiet.[(triple2)] Erin is cold.[(triple3 OR ((triple4) -> rule1))] Erin is nice.[(triple4)] Gary is big.[(triple5)] Gary is blue.[(triple6)] Gary is quiet.[(triple7)] @1: Bob is cold.[(((triple1) -> rule1))]