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