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