Erin is big. Erin is furry. Erin is kind. Erin is nice. Erin is rough. Erin is white. Harry is big. Harry is furry. Harry is kind. Harry is white. If something is big then it is nice. If something is kind and nice then it is rough.
Harry is green.
@0: Erin is big.[(triple1)] Erin is furry.[(triple2)] Erin is kind.[(triple3)] Erin is nice.[(triple4 OR ((triple1) -> rule1))] Erin is rough.[(triple5 OR ((triple3 triple4) -> rule2) OR ((triple3 ((triple1) -> rule1)) -> rule2))] Erin is white.[(triple6)] Harry is big.[(triple7)] Harry is furry.[(triple8)] Harry is kind.[(triple9)] Harry is white.[(triple10)] @1: Harry is nice.[(((triple7) -> rule1))] @2: Harry is rough.[(((triple9 ((triple7) -> rule1)) -> rule2))]