Erin is big. Erin is furry. Erin is quiet. Quiet, big things are kind. If something is quiet then it is furry. If Erin is rough and Erin is quiet then Erin is blue. All nice things are rough. If Erin is rough and Erin is big then Erin is quiet. Blue things are furry. All kind, furry things are rough. All furry, nice things are kind.
Erin is blue.
@0: Erin is big.[(triple1)] Erin is furry.[(triple2 OR ((triple3) -> rule2))] Erin is quiet.[(triple3)] @1: Erin is kind.[(((triple3 triple1) -> rule1))] @2: Erin is rough.[(((((triple3 triple1) -> rule1) triple2) -> rule7) OR ((((triple3 triple1) -> rule1) ((triple3) -> rule2)) -> rule7))] @3: Erin is blue.[(((((((triple3 triple1) -> rule1) triple2) -> rule7) triple3) -> rule3) OR ((((((triple3 triple1) -> rule1) ((triple3) -> rule2)) -> rule7) triple3) -> rule3))]