Bob is big. Bob is not furry. Bob is green. Bob is round. Bob is not smart. Bob is not white. Fiona is furry. Fiona is green. Fiona is smart. Harry is big. Harry is not blue. Harry is furry. Harry is green. Harry is round. Harry is white. All white, smart people are furry. All smart people are furry. All furry, blue people are not green. All white, round people are green. All white people are green. Blue, round people are smart. If someone is white and blue then they are big. If Fiona is not green and Fiona is not smart then Fiona is big.
Fiona is green.
@0: Bob is big.[(triple1)] Bob is green.[(triple3)] Bob is not furry.[(triple2)] Bob is not smart.[(triple5)] Bob is not white.[(triple6)] Bob is round.[(triple4)] Fiona is furry.[(triple7 OR ((triple9) -> rule2))] Fiona is green.[(triple8)] Fiona is smart.[(triple9)] Harry is big.[(triple10)] Harry is furry.[(triple12)] Harry is green.[(triple13 OR ((triple15) -> rule5) OR ((triple15 triple14) -> rule4))] Harry is not blue.[(triple11)] Harry is round.[(triple14)] Harry is white.[(triple15)]