Bob is big. Bob is blue. Bob is not nice. Bob is white. Gary is big. Gary is nice. Gary is red. If something is nice then it is furry. Nice, furry things are red. If Gary is big and Gary is white then Gary is red. If something is big and not furry then it is kind. Furry things are kind. Furry, kind things are blue. White things are blue. White things are blue.
Bob is nice.
@0: Bob is big.[(triple1)] Bob is blue.[(triple2 OR ((triple4) -> rule7) OR ((triple4) -> rule8))] Bob is not nice.[(triple3)] Bob is white.[(triple4)] Gary is big.[(triple5)] Gary is nice.[(triple6)] Gary is red.[(triple7 OR ((triple6 ((triple6) -> rule1)) -> rule2))] @1: Gary is furry.[(((triple6) -> rule1))] @2: Gary is kind.[(((((triple6) -> rule1)) -> rule5))] @3: Gary is blue.[(((((triple6) -> rule1) ((((triple6) -> rule1)) -> rule5)) -> rule6))]