Anne is green. Anne is smart. Bob is green. Bob is quiet. Charlie is nice. Charlie is young. Fiona is quiet. Fiona is round. Fiona is smart. Fiona is young. Round people are smart.
Bob is not smart.
@0: Anne is green.[(triple1)] Anne is smart.[(triple2)] Bob is green.[(triple3)] Bob is quiet.[(triple4)] Charlie is nice.[(triple5)] Charlie is young.[(triple6)] Fiona is quiet.[(triple7)] Fiona is round.[(triple8)] Fiona is smart.[(triple9 OR ((triple8) -> rule1))] Fiona is young.[(triple10)]