Bob is furry. Bob is green. Bob is quiet. Bob is red. Bob is rough. Dave is blue. Dave is green. Dave is red. Dave is rough. Dave is white. Fiona is blue. Fiona is furry. Harry is furry. Harry is rough. Harry is white. If someone is furry then they are red.
Harry is not furry.
@0: Bob is furry.[(triple1)] Bob is green.[(triple2)] Bob is quiet.[(triple3)] Bob is red.[(triple4 OR ((triple1) -> rule1))] Bob is rough.[(triple5)] Dave is blue.[(triple6)] Dave is green.[(triple7)] Dave is red.[(triple8)] Dave is rough.[(triple9)] Dave is white.[(triple10)] Fiona is blue.[(triple11)] Fiona is furry.[(triple12)] Harry is furry.[(triple13)] Harry is rough.[(triple14)] Harry is white.[(triple15)] @1: Fiona is red.[(((triple12) -> rule1))] Harry is red.[(((triple13) -> rule1))]