Charlie is big. Charlie is blue. Charlie is furry. Charlie is kind. Charlie is round. Charlie is smart. Charlie is young. Dave is big. Dave is blue. Dave is furry. Dave is kind. Dave is round. Dave is smart. Dave is young. If Dave is young and Dave is round then Dave is kind. Round, furry people are smart.
Dave is big.
@0: Charlie is big.[(triple1)] Charlie is blue.[(triple2)] Charlie is furry.[(triple3)] Charlie is kind.[(triple4)] Charlie is round.[(triple5)] Charlie is smart.[(triple6 OR ((triple5 triple3) -> rule2))] Charlie is young.[(triple7)] Dave is big.[(triple8)] Dave is blue.[(triple9)] Dave is furry.[(triple10)] Dave is kind.[(triple11 OR ((triple14 triple12) -> rule1))] Dave is round.[(triple12)] Dave is smart.[(triple13 OR ((triple12 triple10) -> rule2))] Dave is young.[(triple14)]