Bob is furry. Bob is kind. Bob is quiet. Bob is rough. Erin is furry. Erin is kind. Erin is round. If something is rough then it is furry. If Erin is kind and Erin is young then Erin is rough. All round, rough things are furry.
Erin is not rough.
@0: Bob is furry.[(triple1 OR ((triple4) -> rule1))] Bob is kind.[(triple2)] Bob is quiet.[(triple3)] Bob is rough.[(triple4)] Erin is furry.[(triple5)] Erin is kind.[(triple6)] Erin is round.[(triple7)]