Anne is cold. Anne is young. Bob is quiet. Bob is round. Erin is round. Gary is big. Gary is red. If someone is big then they are cold. If Erin is round then Erin is big. If someone is cold and not big then they are red. If someone is red and not cold then they are not quiet. If someone is red and blue then they are quiet. All cold people are quiet.
Anne is not cold.
@0: Anne is cold.[(triple1)] Anne is young.[(triple2)] Bob is quiet.[(triple3)] Bob is round.[(triple4)] Erin is round.[(triple5)] Gary is big.[(triple6)] Gary is red.[(triple7)] @1: Anne is quiet.[(((triple1) -> rule6))] Erin is big.[(((triple5) -> rule2))] Gary is cold.[(((triple6) -> rule1))] @2: Erin is cold.[(((((triple5) -> rule2)) -> rule1))] Gary is quiet.[(((((triple6) -> rule1)) -> rule6))] @3: Erin is quiet.[(((((((triple5) -> rule2)) -> rule1)) -> rule6))]