Charlie is big. Charlie is green. Charlie is kind. Charlie is nice. Charlie is red. Charlie is rough. Charlie is smart. If something is green then it is big. If Charlie is nice then Charlie is red. If something is green then it is kind. All green, nice things are smart. If something is green and nice then it is red. Nice things are big.
Charlie is not rough.
@0: Charlie is big.[(triple1 OR ((triple2) -> rule1) OR ((triple4) -> rule6))] Charlie is green.[(triple2)] Charlie is kind.[(triple3 OR ((triple2) -> rule3))] Charlie is nice.[(triple4)] Charlie is red.[(triple5 OR ((triple4) -> rule2) OR ((triple2 triple4) -> rule5))] Charlie is rough.[(triple6)] Charlie is smart.[(triple7 OR ((triple2 triple4) -> rule4))]