Bob is furry. Bob is green. Bob is quiet. Bob is smart. Bob is young. Charlie is blue. Charlie is green. Charlie is quiet. Charlie is round. Charlie is young. Gary is furry. Gary is smart. Gary is young. Harry is quiet. Harry is young. Smart things are green. If something is green then it is furry. If something is young then it is smart.
Harry is not blue.
@0: Bob is furry.[(triple1 OR ((triple2) -> rule2) OR ((((triple4) -> rule1)) -> rule2) OR ((((((triple5) -> rule3)) -> rule1)) -> rule2))] Bob is green.[(triple2 OR ((triple4) -> rule1) OR ((((triple5) -> rule3)) -> rule1))] Bob is quiet.[(triple3)] Bob is smart.[(triple4 OR ((triple5) -> rule3))] Bob is young.[(triple5)] Charlie is blue.[(triple6)] Charlie is green.[(triple7 OR ((((triple10) -> rule3)) -> rule1))] Charlie is quiet.[(triple8)] Charlie is round.[(triple9)] Charlie is young.[(triple10)] Gary is furry.[(triple11 OR ((((triple12) -> rule1)) -> rule2) OR ((((((triple13) -> rule3)) -> rule1)) -> rule2))] Gary is smart.[(triple12 OR ((triple13) -> rule3))] Gary is young.[(triple13)] Harry is quiet.[(triple14)] Harry is young.[(triple15)] @1: Charlie is furry.[(((triple7) -> rule2) OR ((((((triple10) -> rule3)) -> rule1)) -> rule2))] Charlie is smart.[(((triple10) -> rule3))] Gary is green.[(((triple12) -> rule1) OR ((((triple13) -> rule3)) -> rule1))] Harry is smart.[(((triple15) -> rule3))] @2: Harry is green.[(((((triple15) -> rule3)) -> rule1))] @3: Harry is furry.[(((((((triple15) -> rule3)) -> rule1)) -> rule2))]