Anne is quiet. Charlie is young. Erin is cold. Harry is nice. Cold people are young. All cold people are young. All quiet, nice people are furry. If someone is furry then they are quiet. All round people are young. If someone is furry then they are young. All nice people are cold. Nice, young people are quiet.
Charlie is not quiet.
@0: Anne is quiet.[(triple1)] Charlie is young.[(triple2)] Erin is cold.[(triple3)] Harry is nice.[(triple4)] @1: Erin is young.[(((triple3) -> rule1) OR ((triple3) -> rule2))] Harry is cold.[(((triple4) -> rule7))] @2: Harry is young.[(((((triple4) -> rule7)) -> rule1) OR ((((triple4) -> rule7)) -> rule2))] @3: Harry is quiet.[(((triple4 ((((triple4) -> rule7)) -> rule1)) -> rule8) OR ((triple4 ((((triple4) -> rule7)) -> rule2)) -> rule8))] @4: Harry is furry.[(((((triple4 ((((triple4) -> rule7)) -> rule1)) -> rule8) triple4) -> rule3) OR ((((triple4 ((((triple4) -> rule7)) -> rule2)) -> rule8) triple4) -> rule3))]