Bob is blue. Bob is green. Bob is rough. Bob is round. Bob is young. Charlie is round. Charlie is young. Fiona is green. Fiona is nice. Fiona is rough. Fiona is round. Fiona is young. Round, rough people are blue. Round, rough people are quiet. All quiet, rough people are round.
Bob is nice.
@0: Bob is blue.[(triple1 OR ((triple4 triple3) -> rule1))] Bob is green.[(triple2)] Bob is rough.[(triple3)] Bob is round.[(triple4)] Bob is young.[(triple5)] Charlie is round.[(triple6)] Charlie is young.[(triple7)] Fiona is green.[(triple8)] Fiona is nice.[(triple9)] Fiona is rough.[(triple10)] Fiona is round.[(triple11)] Fiona is young.[(triple12)] @1: Bob is quiet.[(((triple4 triple3) -> rule2))] Fiona is blue.[(((triple11 triple10) -> rule1))] Fiona is quiet.[(((triple11 triple10) -> rule2))]