Fiona is big. Fiona is blue. Fiona is cold. Fiona is furry. Fiona is round. Fiona is smart. Fiona is white. Harry is big. Harry is blue. Harry is cold. Harry is furry. Harry is round. Harry is smart. Harry is white. Furry, smart people are blue. All white, big people are round. If Fiona is cold then Fiona is blue.
Harry is not round.
@0: Fiona is big.[(triple1)] Fiona is blue.[(triple2 OR ((triple3) -> rule3) OR ((triple4 triple6) -> rule1))] Fiona is cold.[(triple3)] Fiona is furry.[(triple4)] Fiona is round.[(triple5 OR ((triple7 triple1) -> rule2))] Fiona is smart.[(triple6)] Fiona is white.[(triple7)] Harry is big.[(triple8)] Harry is blue.[(triple9 OR ((triple11 triple13) -> rule1))] Harry is cold.[(triple10)] Harry is furry.[(triple11)] Harry is round.[(triple12 OR ((triple14 triple8) -> rule2))] Harry is smart.[(triple13)] Harry is white.[(triple14)]