Dave is big. Dave is furry. Fiona is not blue. Fiona is cold. Fiona is not kind. Fiona is smart. Harry is big. Harry is blue. Harry is furry. Harry is smart. All big, blue people are smart. Blue, furry people are smart. If Fiona is rough and Fiona is not blue then Fiona is not big. If Harry is smart and Harry is not furry then Harry is cold. If Fiona is not rough then Fiona is kind. If someone is rough and not big then they are kind.
Dave is rough.
@0: Dave is big.[(triple1)] Dave is furry.[(triple2)] Fiona is cold.[(triple4)] Fiona is not blue.[(triple3)] Fiona is not kind.[(triple5)] Fiona is smart.[(triple6)] Harry is big.[(triple7)] Harry is blue.[(triple8)] Harry is furry.[(triple9)] Harry is smart.[(triple10 OR ((triple7 triple8) -> rule1) OR ((triple8 triple9) -> rule2))]