Charlie is big. Charlie is cold. Charlie is furry. Charlie is kind. Charlie is nice. Charlie is quiet. Charlie is round. Dave is big. Dave is cold. Dave is furry. Dave is kind. Dave is nice. Dave is quiet. Dave is round. Cold, kind people are round. Furry people are nice. All kind people are quiet.
Dave is not furry.
@0: Charlie is big.[(triple1)] Charlie is cold.[(triple2)] Charlie is furry.[(triple3)] Charlie is kind.[(triple4)] Charlie is nice.[(triple5 OR ((triple3) -> rule2))] Charlie is quiet.[(triple6 OR ((triple4) -> rule3))] Charlie is round.[(triple7 OR ((triple2 triple4) -> rule1))] Dave is big.[(triple8)] Dave is cold.[(triple9)] Dave is furry.[(triple10)] Dave is kind.[(triple11)] Dave is nice.[(triple12 OR ((triple10) -> rule2))] Dave is quiet.[(triple13 OR ((triple11) -> rule3))] Dave is round.[(triple14 OR ((triple9 triple11) -> rule1))]