Erin is smart. All rough people are smart. Big, rough people are smart. If someone is quiet and rough then they are smart. If someone is rough then they are not young. If someone is blue then they are not young. All smart people are rough. Big, smart people are blue. If Erin is rough then Erin is big.
Erin is not blue.
@0: Erin is smart.[(triple1)] @1: Erin is rough.[(((triple1) -> rule6))] @2: Erin is big.[(((((triple1) -> rule6)) -> rule8))] Erin is not young.[(((((triple1) -> rule6)) -> rule4) OR ((((((((triple1) -> rule6)) -> rule8) triple1) -> rule7)) -> rule5))] @3: Erin is blue.[(((((((triple1) -> rule6)) -> rule8) triple1) -> rule7))]