Anne is nice. Bob is cold. Charlie is not cold. Charlie is rough. Erin is green. Erin is quiet. Erin is rough. Quiet people are not big. If Charlie is quiet then Charlie is not big. If Erin is nice then Erin is not big. If someone is quiet and cold then they are young. If someone is quiet and not big then they are cold. All young people are rough. If someone is nice then they are not rough. If Erin is not young then Erin is rough.
Anne is cold.
@0: Anne is nice.[(triple1)] Bob is cold.[(triple2)] Charlie is not cold.[(triple3)] Charlie is rough.[(triple4)] Erin is green.[(triple5)] Erin is quiet.[(triple6)] Erin is rough.[(triple7 OR ((((triple6 ((triple6 ((triple6) -> rule1)) -> rule5)) -> rule4)) -> rule6))] @1: Anne is not rough.[(((triple1) -> rule7))] Erin is not big.[(((triple6) -> rule1))] @2: Erin is cold.[(((triple6 ((triple6) -> rule1)) -> rule5))] @3: Erin is young.[(((triple6 ((triple6 ((triple6) -> rule1)) -> rule5)) -> rule4))]