Erin is furry. Erin is not red. Erin is round. Harry is big. Harry is nice. Harry is white. Harry is young. All nice, round things are young. If something is young and round then it is furry. If something is furry then it is nice. Round, furry things are nice. All furry things are white. If Harry is not nice then Harry is red.
Harry is red.
@0: Erin is furry.[(triple1)] Erin is not red.[(triple2)] Erin is round.[(triple3)] Harry is big.[(triple4)] Harry is nice.[(triple5)] Harry is white.[(triple6)] Harry is young.[(triple7)] @1: Erin is nice.[(((triple1) -> rule3) OR ((triple3 triple1) -> rule4))] Erin is white.[(((triple1) -> rule5))] @2: Erin is young.[(((((triple1) -> rule3) triple3) -> rule1) OR ((((triple3 triple1) -> rule4) triple3) -> rule1))]