Dave is big. Dave is cold. Dave is kind. Dave is quiet. Dave is rough. Dave is round. Dave is white. Harry is big. Harry is cold. Harry is kind. Harry is quiet. Harry is rough. Harry is round. Harry is white. If something is cold and quiet then it is big. All kind, quiet things are round.
Dave is not big.
@0: Dave is big.[(triple1 OR ((triple2 triple4) -> rule1))] Dave is cold.[(triple2)] Dave is kind.[(triple3)] Dave is quiet.[(triple4)] Dave is rough.[(triple5)] Dave is round.[(triple6 OR ((triple3 triple4) -> rule2))] Dave is white.[(triple7)] Harry is big.[(triple8 OR ((triple9 triple11) -> rule1))] Harry is cold.[(triple9)] Harry is kind.[(triple10)] Harry is quiet.[(triple11)] Harry is rough.[(triple12)] Harry is round.[(triple13 OR ((triple10 triple11) -> rule2))] Harry is white.[(triple14)]