Bob is red. Bob is rough. Bob is round. Bob is white. Dave is furry. Dave is round. Fiona is round. Harry is big. Harry is rough. Harry is white. If Dave is furry and Dave is big then Dave is rough. If Dave is furry then Dave is round. If something is furry and red then it is rough. If Harry is kind and Harry is round then Harry is rough. If something is rough and red then it is not big. If Harry is rough then Harry is white.
Harry is red.
@0: Bob is red.[(triple1)] Bob is rough.[(triple2)] Bob is round.[(triple3)] Bob is white.[(triple4)] Dave is furry.[(triple5)] Dave is round.[(triple6 OR ((triple5) -> rule2))] Fiona is round.[(triple7)] Harry is big.[(triple8)] Harry is rough.[(triple9)] Harry is white.[(triple10 OR ((triple9) -> rule6))] @1: Bob is not big.[(((triple2 triple1) -> rule5))]