Bob is blue. Bob is green. Bob is not quiet. Bob is white. Bob is young. Fiona is blue. Fiona is green. Fiona is nice. Fiona is quiet. Fiona is white. If someone is blue and white then they are young.
Fiona is young.
@0: Bob is blue.[(triple1)] Bob is green.[(triple2)] Bob is not quiet.[(triple3)] Bob is white.[(triple4)] Bob is young.[(triple5 OR ((triple1 triple4) -> rule1))] Fiona is blue.[(triple6)] Fiona is green.[(triple7)] Fiona is nice.[(triple8)] Fiona is quiet.[(triple9)] Fiona is white.[(triple10)] @1: Fiona is young.[(((triple6 triple10) -> rule1))]