Bob is furry. Bob is white. Bob is young. Charlie is furry. Fiona is furry. Fiona is quiet. Fiona is rough. Fiona is round. Fiona is white. Gary is quiet. Gary is rough. Gary is white. If someone is round and red then they are rough. All quiet people are round. All young people are furry.
Bob is not round.
@0: Bob is furry.[(triple1 OR ((triple3) -> rule3))] Bob is white.[(triple2)] Bob is young.[(triple3)] Charlie is furry.[(triple4)] Fiona is furry.[(triple5)] Fiona is quiet.[(triple6)] Fiona is rough.[(triple7)] Fiona is round.[(triple8 OR ((triple6) -> rule2))] Fiona is white.[(triple9)] Gary is quiet.[(triple10)] Gary is rough.[(triple11)] Gary is white.[(triple12)] @1: Gary is round.[(((triple10) -> rule2))]