Bob is quiet. Bob is smart. Bob is young. Charlie is furry. Charlie is green. Charlie is smart. Fiona is blue. Fiona is smart. Fiona is white. Fiona is young. All young, quiet things are white. All white, quiet things are smart. If Charlie is white and Charlie is green then Charlie is blue.
Bob is blue.
@0: Bob is quiet.[(triple1)] Bob is smart.[(triple2 OR ((((triple3 triple1) -> rule1) triple1) -> rule2))] Bob is young.[(triple3)] Charlie is furry.[(triple4)] Charlie is green.[(triple5)] Charlie is smart.[(triple6)] Fiona is blue.[(triple7)] Fiona is smart.[(triple8)] Fiona is white.[(triple9)] Fiona is young.[(triple10)] @1: Bob is white.[(((triple3 triple1) -> rule1))]