Fiona is big. Fiona is blue. Fiona is kind. Fiona is nice. Fiona is quiet. Fiona is round. Fiona is smart. Harry is big. Harry is blue. Harry is nice. Harry is quiet. Harry is smart. If Fiona is nice then Fiona is round. Smart, big people are round.
Fiona is not kind.
@0: Fiona is big.[(triple1)] Fiona is blue.[(triple2)] Fiona is kind.[(triple3)] Fiona is nice.[(triple4)] Fiona is quiet.[(triple5)] Fiona is round.[(triple6 OR ((triple4) -> rule1) OR ((triple7 triple1) -> rule2))] Fiona is smart.[(triple7)] Harry is big.[(triple8)] Harry is blue.[(triple9)] Harry is nice.[(triple10)] Harry is quiet.[(triple11)] Harry is smart.[(triple12)] @1: Harry is round.[(((triple12 triple8) -> rule2))]