Anne is furry. Anne is rough. Anne is white. Bob is furry. Bob is green. Bob is red. Bob is rough. Bob is round. Bob is not white. Fiona is furry. Fiona is rough. Fiona is round. All round, red things are rough. All red, young things are not white.
Bob is not young.
@0: Anne is furry.[(triple1)] Anne is rough.[(triple2)] Anne is white.[(triple3)] Bob is furry.[(triple4)] Bob is green.[(triple5)] Bob is not white.[(triple9)] Bob is red.[(triple6)] Bob is rough.[(triple7 OR ((triple8 triple6) -> rule1))] Bob is round.[(triple8)] Fiona is furry.[(triple10)] Fiona is rough.[(triple11)] Fiona is round.[(triple12)]