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