Gary is big. Gary is furry. Gary is kind. Gary is young. Harry is big. Harry is furry. Harry is quiet. Harry is round. Harry is smart. Harry is young. If someone is young and quiet then they are round. If someone is furry then they are kind. If someone is young then they are smart. Smart people are quiet. If Gary is furry then Gary is kind. Young, furry people are kind.
Gary is round.
@0: Gary is big.[(triple1)] Gary is furry.[(triple2)] Gary is kind.[(triple3 OR ((triple2) -> rule2) OR ((triple2) -> rule5) OR ((triple4 triple2) -> rule6))] Gary is young.[(triple4)] Harry is big.[(triple5)] Harry is furry.[(triple6)] Harry is quiet.[(triple7 OR ((triple9) -> rule4) OR ((((triple10) -> rule3)) -> rule4))] Harry is round.[(triple8 OR ((triple10 triple7) -> rule1) OR ((triple10 ((triple9) -> rule4)) -> rule1) OR ((triple10 ((((triple10) -> rule3)) -> rule4)) -> rule1))] Harry is smart.[(triple9 OR ((triple10) -> rule3))] Harry is young.[(triple10)] @1: Gary is smart.[(((triple4) -> rule3))] Harry is kind.[(((triple6) -> rule2) OR ((triple10 triple6) -> rule6))] @2: Gary is quiet.[(((((triple4) -> rule3)) -> rule4))] @3: Gary is round.[(((triple4 ((((triple4) -> rule3)) -> rule4)) -> rule1))]