Dave is big. Dave is cold. Dave is furry. Dave is kind. Dave is nice. Dave is red. Dave is not rough. Harry is big. Harry is cold. Harry is furry. Harry is kind. Harry is nice. Harry is red. Harry is rough. If someone is kind then they are big.
Dave is cold.
@0: Dave is big.[(triple1 OR ((triple4) -> rule1))] Dave is cold.[(triple2)] Dave is furry.[(triple3)] Dave is kind.[(triple4)] Dave is nice.[(triple5)] Dave is not rough.[(triple7)] Dave is red.[(triple6)] Harry is big.[(triple8 OR ((triple11) -> rule1))] Harry is cold.[(triple9)] Harry is furry.[(triple10)] Harry is kind.[(triple11)] Harry is nice.[(triple12)] Harry is red.[(triple13)] Harry is rough.[(triple14)]