Fiona is furry. Fiona is kind. Fiona is red. Fiona is round. Fiona is smart. Harry is blue. Harry is furry. Harry is kind. Harry is red. Harry is round. Harry is smart. Harry is white. All smart, round people are white.
Fiona is not round.
@0: Fiona is furry.[(triple1)] Fiona is kind.[(triple2)] Fiona is red.[(triple3)] Fiona is round.[(triple4)] Fiona is smart.[(triple5)] Harry is blue.[(triple6)] Harry is furry.[(triple7)] Harry is kind.[(triple8)] Harry is red.[(triple9)] Harry is round.[(triple10)] Harry is smart.[(triple11)] Harry is white.[(triple12 OR ((triple11 triple10) -> rule1))] @1: Fiona is white.[(((triple5 triple4) -> rule1))]