Bob is big. Bob is blue. Bob is cold. Bob is furry. Bob is green. Bob is kind. Bob is round. Charlie is big. Charlie is blue. Charlie is cold. Charlie is furry. Charlie is kind. Charlie is round. Dave is big. Dave is cold. Dave is round. If Charlie is cold then Charlie is round. All big, cold things are round.
Dave is green.
@0: Bob is big.[(triple1)] Bob is blue.[(triple2)] Bob is cold.[(triple3)] Bob is furry.[(triple4)] Bob is green.[(triple5)] Bob is kind.[(triple6)] Bob is round.[(triple7 OR ((triple1 triple3) -> rule2))] Charlie is big.[(triple8)] Charlie is blue.[(triple9)] Charlie is cold.[(triple10)] Charlie is furry.[(triple11)] Charlie is kind.[(triple12)] Charlie is round.[(triple13 OR ((triple10) -> rule1) OR ((triple8 triple10) -> rule2))] Dave is big.[(triple14)] Dave is cold.[(triple15)] Dave is round.[(triple16 OR ((triple14 triple15) -> rule2))]