Harry is big. Harry is blue. Harry is cold. Harry is furry. Harry is kind. Harry is smart. Harry is white. Blue things are furry. Big things are furry. All cold things are furry. All big things are furry. If Harry is white and Harry is blue then Harry is smart. Kind, furry things are big. Smart, kind things are blue. All white things are kind.
Harry is furry.
@0: Harry is big.[(triple1 OR ((triple5 triple4) -> rule6) OR ((triple5 ((triple2) -> rule1)) -> rule6) OR ((triple5 ((triple3) -> rule3)) -> rule6) OR ((((triple7) -> rule8) triple4) -> rule6) OR ((((triple7) -> rule8) ((triple2) -> rule1)) -> rule6) OR ((((triple7) -> rule8) ((triple3) -> rule3)) -> rule6) OR ((triple5 ((((triple6 triple5) -> rule7)) -> rule1)) -> rule6) OR ((((triple7) -> rule8) ((((triple6 triple5) -> rule7)) -> rule1)) -> rule6) OR ((triple5 ((((triple6 ((triple7) -> rule8)) -> rule7)) -> rule1)) -> rule6) OR ((((triple7) -> rule8) ((((triple6 ((triple7) -> rule8)) -> rule7)) -> rule1)) -> rule6))] Harry is blue.[(triple2 OR ((triple6 triple5) -> rule7) OR ((triple6 ((triple7) -> rule8)) -> rule7))] Harry is cold.[(triple3)] Harry is furry.[(triple4 OR ((triple1) -> rule2) OR ((triple1) -> rule4) OR ((triple2) -> rule1) OR ((triple3) -> rule3) OR ((((triple6 triple5) -> rule7)) -> rule1) OR ((((triple6 ((triple7) -> rule8)) -> rule7)) -> rule1))] Harry is kind.[(triple5 OR ((triple7) -> rule8))] Harry is smart.[(triple6 OR ((triple7 triple2) -> rule5))] Harry is white.[(triple7)]