Anne is rough. Anne is young. Bob is not white. Bob is young. Gary is cold. Harry is cold. Harry is rough. If something is rough then it is quiet. Rough, smart things are not cold. Young things are cold. If Bob is white then Bob is rough. Cold things are rough. If Bob is not quiet then Bob is red.
Gary is red.
@0: Anne is rough.[(triple1 OR ((((triple2) -> rule3)) -> rule5))] Anne is young.[(triple2)] Bob is not white.[(triple3)] Bob is young.[(triple4)] Gary is cold.[(triple5)] Harry is cold.[(triple6)] Harry is rough.[(triple7 OR ((triple6) -> rule5))] @1: Anne is cold.[(((triple2) -> rule3))] Anne is quiet.[(((triple1) -> rule1) OR ((((((triple2) -> rule3)) -> rule5)) -> rule1))] Bob is cold.[(((triple4) -> rule3))] Gary is rough.[(((triple5) -> rule5))] Harry is quiet.[(((triple7) -> rule1) OR ((((triple6) -> rule5)) -> rule1))] @2: Bob is rough.[(((((triple4) -> rule3)) -> rule5))] Gary is quiet.[(((((triple5) -> rule5)) -> rule1))] @3: Bob is quiet.[(((((((triple4) -> rule3)) -> rule5)) -> rule1))]