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