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