Anne is quiet. Bob is big. Bob is nice. Erin is kind. Erin is young. Harry is quiet. Harry is rough. If Harry is young and Harry is kind then Harry is big. If someone is young and not quiet then they are not nice. If someone is rough and quiet then they are nice. Nice people are cold. Kind, big people are young. If someone is kind then they are young. If someone is rough and cold then they are kind. If Anne is young then Anne is nice.
Erin is not cold.
@0: Anne is quiet.[(triple1)] Bob is big.[(triple2)] Bob is nice.[(triple3)] Erin is kind.[(triple4)] Erin is young.[(triple5 OR ((triple4) -> rule6))] Harry is quiet.[(triple6)] Harry is rough.[(triple7)] @1: Bob is cold.[(((triple3) -> rule4))] Harry is nice.[(((triple7 triple6) -> rule3))] @2: Harry is cold.[(((((triple7 triple6) -> rule3)) -> rule4))] @3: Harry is kind.[(((triple7 ((((triple7 triple6) -> rule3)) -> rule4)) -> rule7))] @4: Harry is young.[(((((triple7 ((((triple7 triple6) -> rule3)) -> rule4)) -> rule7)) -> rule6))] @5: Harry is big.[(((((((triple7 ((((triple7 triple6) -> rule3)) -> rule4)) -> rule7)) -> rule6) ((triple7 ((((triple7 triple6) -> rule3)) -> rule4)) -> rule7)) -> rule1))]