Anne is cold. Anne is quiet. Bob is cold. Bob is quiet. Bob is red. Gary is cold. Gary is young. If Bob is rough then Bob is not furry. Cold things are rough. If something is smart and not rough then it is not quiet. All rough, red things are quiet. If Anne is cold and Anne is red then Anne is young. If something is quiet and not cold then it is not red. Cold, rough things are red. If something is red and not quiet then it is not young.
Anne is not furry.
@0: Anne is cold.[(triple1)] Anne is quiet.[(triple2 OR ((((triple1) -> rule2) ((triple1 ((triple1) -> rule2)) -> rule7)) -> rule4))] Bob is cold.[(triple3)] Bob is quiet.[(triple4 OR ((((triple3) -> rule2) triple5) -> rule4) OR ((((triple3) -> rule2) ((triple3 ((triple3) -> rule2)) -> rule7)) -> rule4))] Bob is red.[(triple5 OR ((triple3 ((triple3) -> rule2)) -> rule7))] Gary is cold.[(triple6)] Gary is young.[(triple7)] @1: Anne is rough.[(((triple1) -> rule2))] Bob is rough.[(((triple3) -> rule2))] Gary is rough.[(((triple6) -> rule2))] @2: Anne is red.[(((triple1 ((triple1) -> rule2)) -> rule7))] Bob is not furry.[(((((triple3) -> rule2)) -> rule1))] Gary is red.[(((triple6 ((triple6) -> rule2)) -> rule7))] @3: Anne is young.[(((triple1 ((triple1 ((triple1) -> rule2)) -> rule7)) -> rule5))] Gary is quiet.[(((((triple6) -> rule2) ((triple6 ((triple6) -> rule2)) -> rule7)) -> rule4))]