Bob is cold. Bob is quiet. Bob is round. Charlie is quiet. Erin is quiet. Erin is young. Harry is not young. Rough people are cold. All young, quiet people are cold. Quiet, blue people are round. Green people are rough. If someone is quiet then they are rough. Cold, rough people are not green.
Harry is cold.
@0: Bob is cold.[(triple1 OR ((((triple2) -> rule5)) -> rule1))] Bob is quiet.[(triple2)] Bob is round.[(triple3)] Charlie is quiet.[(triple4)] Erin is quiet.[(triple5)] Erin is young.[(triple6)] Harry is not young.[(triple7)] @1: Bob is rough.[(((triple2) -> rule5))] Charlie is rough.[(((triple4) -> rule5))] Erin is cold.[(((triple6 triple5) -> rule2) OR ((((triple5) -> rule5)) -> rule1))] Erin is rough.[(((triple5) -> rule5))] @2: Bob is not green.[(((triple1 ((triple2) -> rule5)) -> rule6) OR ((((((triple2) -> rule5)) -> rule1) ((triple2) -> rule5)) -> rule6))] Charlie is cold.[(((((triple4) -> rule5)) -> rule1))] Erin is not green.[(((((triple6 triple5) -> rule2) ((triple5) -> rule5)) -> rule6) OR ((((((triple5) -> rule5)) -> rule1) ((triple5) -> rule5)) -> rule6))] @3: Charlie is not green.[(((((((triple4) -> rule5)) -> rule1) ((triple4) -> rule5)) -> rule6))]