Dave is kind. Dave is nice. Fiona is cold. Fiona is nice. Fiona is red. Harry is big. Harry is cold. Harry is kind. Harry is nice. Harry is white. If something is nice and white then it is big. All young, kind things are red.
Dave is not red.
@0: Dave is kind.[(triple1)] Dave is nice.[(triple2)] Fiona is cold.[(triple3)] Fiona is nice.[(triple4)] Fiona is red.[(triple5)] Harry is big.[(triple6 OR ((triple9 triple10) -> rule1))] Harry is cold.[(triple7)] Harry is kind.[(triple8)] Harry is nice.[(triple9)] Harry is white.[(triple10)]