Bob is not blue. Bob is not quiet. Bob is rough. Erin is green. Erin is nice. Erin is not quiet. Erin is smart. If something is blue and green then it is not rough. If something is green and nice then it is smart. Quiet, big things are not nice. All big things are nice. All blue, rough things are nice. If something is green then it is blue.
Bob is quiet.
@0: Bob is not blue.[(triple1)] Bob is not quiet.[(triple2)] Bob is rough.[(triple3)] Erin is green.[(triple4)] Erin is nice.[(triple5)] Erin is not quiet.[(triple6)] Erin is smart.[(triple7 OR ((triple4 triple5) -> rule2))] @1: Erin is blue.[(((triple4) -> rule6))] @2: Erin is not rough.[(((((triple4) -> rule6) triple4) -> rule1))]