Bob is furry. Bob is rough. Bob is round. Bob is white. Bob is young. Erin is not quiet. Erin is rough. Erin is white. Harry is quiet. Harry is red. Harry is round. Harry is young. If Harry is round then Harry is not white. If Erin is young and Erin is furry then Erin is quiet. If Harry is furry then Harry is quiet. If Erin is quiet then Erin is not young. If someone is young then they are red. All rough people are furry. All white people are rough. If someone is quiet and not white then they are not rough.
Harry is not rough.
@0: Bob is furry.[(triple1 OR ((triple2) -> rule6) OR ((((triple4) -> rule7)) -> rule6))] Bob is rough.[(triple2 OR ((triple4) -> rule7))] Bob is round.[(triple3)] Bob is white.[(triple4)] Bob is young.[(triple5)] Erin is not quiet.[(triple6)] Erin is rough.[(triple7 OR ((triple8) -> rule7))] Erin is white.[(triple8)] Harry is quiet.[(triple9)] Harry is red.[(triple10 OR ((triple12) -> rule5))] Harry is round.[(triple11)] Harry is young.[(triple12)] @1: Bob is red.[(((triple5) -> rule5))] Erin is furry.[(((triple7) -> rule6) OR ((((triple8) -> rule7)) -> rule6))] Harry is not white.[(((triple11) -> rule1))] @2: Harry is not rough.[(((triple9 ((triple11) -> rule1)) -> rule8))]