Anne is nice. Anne is young. Bob is furry. Bob is quiet. Bob is rough. Bob is not white. Bob is not young. Gary is furry. Gary is not quiet. Gary is young. Harry is young. If something is quiet and young then it is rough. If Harry is furry then Harry is not rough. If something is young then it is furry. Young, quiet things are round. If Harry is round then Harry is nice. All nice things are white. If Harry is not rough then Harry is round.
Gary is not rough.
@0: Anne is nice.[(triple1)] Anne is young.[(triple2)] Bob is furry.[(triple3)] Bob is not white.[(triple6)] Bob is not young.[(triple7)] Bob is quiet.[(triple4)] Bob is rough.[(triple5)] Gary is furry.[(triple8 OR ((triple10) -> rule3))] Gary is not quiet.[(triple9)] Gary is young.[(triple10)] Harry is young.[(triple11)] @1: Anne is furry.[(((triple2) -> rule3))] Anne is white.[(((triple1) -> rule6))] Harry is furry.[(((triple11) -> rule3))] @2: Harry is not rough.[(((((triple11) -> rule3)) -> rule2))] @3: Harry is round.[(((((((triple11) -> rule3)) -> rule2)) -> rule7))] @4: Harry is nice.[(((((((((triple11) -> rule3)) -> rule2)) -> rule7)) -> rule5))] @5: Harry is white.[(((((((((((triple11) -> rule3)) -> rule2)) -> rule7)) -> rule5)) -> rule6))]