Anne is big. Anne is cold. Anne is kind. Anne is nice. Anne is quiet. Anne is round. Anne is white. Fiona is kind. Fiona is round. Fiona is white. All big things are quiet.
Fiona is nice.
@0: Anne is big.[(triple1)] Anne is cold.[(triple2)] Anne is kind.[(triple3)] Anne is nice.[(triple4)] Anne is quiet.[(triple5 OR ((triple1) -> rule1))] Anne is round.[(triple6)] Anne is white.[(triple7)] Fiona is kind.[(triple8)] Fiona is round.[(triple9)] Fiona is white.[(triple10)]