Bob is blue. Bob is not young. Fiona is rough. Fiona is not round. Fiona is not white. Gary is not white. Gary is young. Harry is blue. Harry is nice. Harry is quiet. Harry is not rough. Harry is not white. All young, quiet things are white. Round things are white. If something is rough then it is nice.
Harry is white.
@0: Bob is blue.[(triple1)] Bob is not young.[(triple2)] Fiona is not round.[(triple4)] Fiona is not white.[(triple5)] Fiona is rough.[(triple3)] Gary is not white.[(triple6)] Gary is young.[(triple7)] Harry is blue.[(triple8)] Harry is nice.[(triple9)] Harry is not rough.[(triple11)] Harry is not white.[(triple12)] Harry is quiet.[(triple10)] @1: Fiona is nice.[(((triple3) -> rule3))]