Harry is blue. Harry is nice. Harry is white. All nice, furry things are white. If something is nice then it is green. White things are nice. If something is kind and blue then it is nice. If something is white and green then it is big. If something is big then it is white. If something is green then it is furry. All nice things are blue.
Harry is white.
@0: Harry is blue.[(triple1 OR ((triple2) -> rule8) OR ((((triple3) -> rule3)) -> rule8))] Harry is nice.[(triple2 OR ((triple3) -> rule3))] Harry is white.[(triple3 OR ((triple2 ((((triple2) -> rule2)) -> rule7)) -> rule1))] @1: Harry is green.[(((triple2) -> rule2) OR ((((triple3) -> rule3)) -> rule2))] @2: Harry is big.[(((triple3 ((triple2) -> rule2)) -> rule5) OR ((triple3 ((((triple3) -> rule3)) -> rule2)) -> rule5) OR ((((triple2 ((((triple2) -> rule2)) -> rule7)) -> rule1) ((triple2) -> rule2)) -> rule5) OR ((((triple2 ((((triple2) -> rule2)) -> rule7)) -> rule1) ((((triple3) -> rule3)) -> rule2)) -> rule5))] Harry is furry.[(((((triple2) -> rule2)) -> rule7) OR ((((((triple3) -> rule3)) -> rule2)) -> rule7))]