Charlie is big. Charlie is cold. Charlie is green. Charlie is kind. Charlie is nice. Charlie is quiet. Charlie is round. Dave is big. Dave is cold. Dave is green. Dave is kind. Dave is nice. Dave is quiet. Dave is round. If something is green and nice then it is big. If something is nice and quiet then it is kind.
Charlie is round.
@0: Charlie is big.[(triple1 OR ((triple3 triple5) -> rule1))] Charlie is cold.[(triple2)] Charlie is green.[(triple3)] Charlie is kind.[(triple4 OR ((triple5 triple6) -> rule2))] Charlie is nice.[(triple5)] Charlie is quiet.[(triple6)] Charlie is round.[(triple7)] Dave is big.[(triple8 OR ((triple10 triple12) -> rule1))] Dave is cold.[(triple9)] Dave is green.[(triple10)] Dave is kind.[(triple11 OR ((triple12 triple13) -> rule2))] Dave is nice.[(triple12)] Dave is quiet.[(triple13)] Dave is round.[(triple14)]