Bob is nice. Bob is red. Bob is young. Charlie is blue. Charlie is quiet. Charlie is rough. Charlie is white. Fiona is quiet. Fiona is white. Fiona is young. All blue, rough things are quiet.
Bob is red.
@0: Bob is nice.[(triple1)] Bob is red.[(triple2)] Bob is young.[(triple3)] Charlie is blue.[(triple4)] Charlie is quiet.[(triple5 OR ((triple4 triple6) -> rule1))] Charlie is rough.[(triple6)] Charlie is white.[(triple7)] Fiona is quiet.[(triple8)] Fiona is white.[(triple9)] Fiona is young.[(triple10)]