Gary is furry. Gary is kind. Gary is rough. Gary is smart. Harry is furry. Harry is smart. Harry is young. If something is young and quiet then it is furry. All smart things are rough. If something is kind then it is quiet. Kind, quiet things are furry. All kind things are furry. All round, quiet things are smart. Quiet things are round. If something is furry then it is kind.
Harry is not young.
@0: Gary is furry.[(triple1 OR ((triple2) -> rule5) OR ((triple2 ((triple2) -> rule3)) -> rule4))] Gary is kind.[(triple2 OR ((triple1) -> rule8))] Gary is rough.[(triple3 OR ((triple4) -> rule2) OR ((((((((triple2) -> rule3)) -> rule7) ((triple2) -> rule3)) -> rule6)) -> rule2) OR ((((((((triple2) -> rule3)) -> rule7) ((((triple1) -> rule8)) -> rule3)) -> rule6)) -> rule2) OR ((((((((((triple1) -> rule8)) -> rule3)) -> rule7) ((triple2) -> rule3)) -> rule6)) -> rule2) OR ((((((((((triple1) -> rule8)) -> rule3)) -> rule7) ((((triple1) -> rule8)) -> rule3)) -> rule6)) -> rule2))] Gary is smart.[(triple4 OR ((((((triple2) -> rule3)) -> rule7) ((triple2) -> rule3)) -> rule6) OR ((((((triple2) -> rule3)) -> rule7) ((((triple1) -> rule8)) -> rule3)) -> rule6) OR ((((((((triple1) -> rule8)) -> rule3)) -> rule7) ((triple2) -> rule3)) -> rule6) OR ((((((((triple1) -> rule8)) -> rule3)) -> rule7) ((((triple1) -> rule8)) -> rule3)) -> rule6))] Harry is furry.[(triple5)] Harry is smart.[(triple6 OR ((((((((triple5) -> rule8)) -> rule3)) -> rule7) ((((triple5) -> rule8)) -> rule3)) -> rule6))] Harry is young.[(triple7)] @1: Gary is quiet.[(((triple2) -> rule3) OR ((((triple1) -> rule8)) -> rule3))] Harry is kind.[(((triple5) -> rule8))] Harry is rough.[(((triple6) -> rule2) OR ((((((((((triple5) -> rule8)) -> rule3)) -> rule7) ((((triple5) -> rule8)) -> rule3)) -> rule6)) -> rule2))] @2: Gary is round.[(((((triple2) -> rule3)) -> rule7) OR ((((((triple1) -> rule8)) -> rule3)) -> rule7))] Harry is quiet.[(((((triple5) -> rule8)) -> rule3))] @3: Harry is round.[(((((((triple5) -> rule8)) -> rule3)) -> rule7))]