Anne is smart. Anne is young. Bob is blue. Bob is cold. Bob is quiet. Bob is rough. Bob is smart. Gary is cold. Gary is furry. Gary is quiet. Gary is smart. Gary is young. Harry is cold. Harry is furry. Harry is quiet. Harry is young. All blue things are young. If Gary is young and Gary is smart then Gary is rough. If something is smart and not rough then it is furry. If something is rough then it is furry. All furry things are quiet. All furry things are cold.
Bob is not quiet.
@0: Anne is smart.[(triple1)] Anne is young.[(triple2)] Bob is blue.[(triple3)] Bob is cold.[(triple4 OR ((((triple6) -> rule4)) -> rule6))] Bob is quiet.[(triple5 OR ((((triple6) -> rule4)) -> rule5))] Bob is rough.[(triple6)] Bob is smart.[(triple7)] Gary is cold.[(triple8 OR ((triple9) -> rule6) OR ((((((triple12 triple11) -> rule2)) -> rule4)) -> rule6))] Gary is furry.[(triple9 OR ((((triple12 triple11) -> rule2)) -> rule4))] Gary is quiet.[(triple10 OR ((triple9) -> rule5) OR ((((((triple12 triple11) -> rule2)) -> rule4)) -> rule5))] Gary is smart.[(triple11)] Gary is young.[(triple12)] Harry is cold.[(triple13 OR ((triple14) -> rule6))] Harry is furry.[(triple14)] Harry is quiet.[(triple15 OR ((triple14) -> rule5))] Harry is young.[(triple16)] @1: Bob is furry.[(((triple6) -> rule4))] Bob is young.[(((triple3) -> rule1))] Gary is rough.[(((triple12 triple11) -> rule2))]