Fiona is not big. Fiona is blue. Fiona is not furry. Fiona is quiet. Fiona is not red. Fiona is smart. Fiona is white. Harry is not big. Harry is blue. Harry is furry. Harry is quiet. Harry is not red. Harry is not smart. Harry is not white. If someone is white and blue then they are smart. If someone is quiet and not big then they are blue.
Harry is white.
@0: Fiona is blue.[(triple2 OR ((triple4 triple1) -> rule2))] Fiona is not big.[(triple1)] Fiona is not furry.[(triple3)] Fiona is not red.[(triple5)] Fiona is quiet.[(triple4)] Fiona is smart.[(triple6 OR ((triple7 triple2) -> rule1) OR ((triple7 ((triple4 triple1) -> rule2)) -> rule1))] Fiona is white.[(triple7)] Harry is blue.[(triple9 OR ((triple11 triple8) -> rule2))] Harry is furry.[(triple10)] Harry is not big.[(triple8)] Harry is not red.[(triple12)] Harry is not smart.[(triple13)] Harry is not white.[(triple14)] Harry is quiet.[(triple11)]