Bob is furry. Bob is red. Bob is rough. Dave is furry. Dave is red. Erin is not blue. Erin is not furry. Erin is white. Harry is blue. Harry is furry. Harry is quiet. Harry is red. Harry is rough. Harry is white. Harry is young. All rough, white things are quiet. If Erin is rough then Erin is red. Red things are white.
Harry is young.
@0: Bob is furry.[(triple1)] Bob is red.[(triple2)] Bob is rough.[(triple3)] Dave is furry.[(triple4)] Dave is red.[(triple5)] Erin is not blue.[(triple6)] Erin is not furry.[(triple7)] Erin is white.[(triple8)] Harry is blue.[(triple9)] Harry is furry.[(triple10)] Harry is quiet.[(triple11 OR ((triple13 triple14) -> rule1) OR ((triple13 ((triple12) -> rule3)) -> rule1))] Harry is red.[(triple12)] Harry is rough.[(triple13)] Harry is white.[(triple14 OR ((triple12) -> rule3))] Harry is young.[(triple15)] @1: Bob is white.[(((triple2) -> rule3))] Dave is white.[(((triple5) -> rule3))] @2: Bob is quiet.[(((triple3 ((triple2) -> rule3)) -> rule1))]