Bob is not furry. Bob is kind. Bob is red. Bob is rough. Bob is round. Fiona is green. Fiona is not kind. Fiona is red. Fiona is round. Fiona is young. If Bob is red and Bob is green then Bob is kind. Furry things are young. If something is round then it is rough.
Bob is not young.
@0: Bob is kind.[(triple2)] Bob is not furry.[(triple1)] Bob is red.[(triple3)] Bob is rough.[(triple4 OR ((triple5) -> rule3))] Bob is round.[(triple5)] Fiona is green.[(triple6)] Fiona is not kind.[(triple7)] Fiona is red.[(triple8)] Fiona is round.[(triple9)] Fiona is young.[(triple10)] @1: Fiona is rough.[(((triple9) -> rule3))]