Anne is big. Anne is blue. Anne is nice. Anne is quiet. Anne is round. Anne is white. Charlie is round. Dave is blue. Dave is furry. Dave is quiet. Dave is round. Dave is white. Fiona is big. Fiona is nice. Fiona is quiet. Fiona is round. All round people are big. Quiet, blue people are white.
Fiona is quiet.
@0: Anne is big.[(triple1 OR ((triple5) -> rule1))] Anne is blue.[(triple2)] Anne is nice.[(triple3)] Anne is quiet.[(triple4)] Anne is round.[(triple5)] Anne is white.[(triple6 OR ((triple4 triple2) -> rule2))] Charlie is round.[(triple7)] Dave is blue.[(triple8)] Dave is furry.[(triple9)] Dave is quiet.[(triple10)] Dave is round.[(triple11)] Dave is white.[(triple12 OR ((triple10 triple8) -> rule2))] Fiona is big.[(triple13 OR ((triple16) -> rule1))] Fiona is nice.[(triple14)] Fiona is quiet.[(triple15)] Fiona is round.[(triple16)] @1: Charlie is big.[(((triple7) -> rule1))] Dave is big.[(((triple11) -> rule1))]