Bob is blue. Bob is kind. Bob is white. Fiona is blue. Fiona is furry. Fiona is nice. Fiona is rough. Fiona is round. Fiona is white. Harry is blue. Furry things are rough.
Bob is not white.
@0: Bob is blue.[(triple1)] Bob is kind.[(triple2)] Bob is white.[(triple3)] Fiona is blue.[(triple4)] Fiona is furry.[(triple5)] Fiona is nice.[(triple6)] Fiona is rough.[(triple7 OR ((triple5) -> rule1))] Fiona is round.[(triple8)] Fiona is white.[(triple9)] Harry is blue.[(triple10)]