Charlie is big. Charlie is cold. Charlie is furry. Charlie is rough. Dave is big. Dave is cold. Dave is furry. Dave is nice. Dave is rough. Dave is white. Harry is big. Harry is cold. Harry is furry. Harry is nice. Harry is rough. Kind things are white. If something is big and kind then it is white. All kind, cold things are rough. Cold things are furry. All nice things are furry. If Dave is white then Dave is nice.
Charlie is kind.
@0: Charlie is big.[(triple1)] Charlie is cold.[(triple2)] Charlie is furry.[(triple3 OR ((triple2) -> rule4))] Charlie is rough.[(triple4)] Dave is big.[(triple5)] Dave is cold.[(triple6)] Dave is furry.[(triple7 OR ((triple6) -> rule4) OR ((triple8) -> rule5) OR ((((triple10) -> rule6)) -> rule5))] Dave is nice.[(triple8 OR ((triple10) -> rule6))] Dave is rough.[(triple9)] Dave is white.[(triple10)] Harry is big.[(triple11)] Harry is cold.[(triple12)] Harry is furry.[(triple13 OR ((triple12) -> rule4) OR ((triple14) -> rule5))] Harry is nice.[(triple14)] Harry is rough.[(triple15)]