Bob is blue. Bob is furry. Bob is quiet. Erin is blue. Erin is furry. Erin is not rough. Erin is smart. Erin is young. Harry is not big. Harry is not rough. Blue people are smart. All young people are not big. All blue people are furry. If someone is big and not rough then they are furry. If someone is young and not furry then they are quiet. All smart people are quiet.
Harry is not smart.
@0: Bob is blue.[(triple1)] Bob is furry.[(triple2 OR ((triple1) -> rule3))] Bob is quiet.[(triple3 OR ((((triple1) -> rule1)) -> rule6))] Erin is blue.[(triple4)] Erin is furry.[(triple5 OR ((triple4) -> rule3))] Erin is not rough.[(triple6)] Erin is smart.[(triple7 OR ((triple4) -> rule1))] Erin is young.[(triple8)] Harry is not big.[(triple9)] Harry is not rough.[(triple10)] @1: Bob is smart.[(((triple1) -> rule1))] Erin is not big.[(((triple8) -> rule2))] Erin is quiet.[(((triple7) -> rule6) OR ((((triple4) -> rule1)) -> rule6))]