Charlie is big. Charlie is kind. Charlie is red. Charlie is rough. Charlie is round. Charlie is not smart. Charlie is young. Gary is not red. Gary is smart. Gary is not young. Smart people are kind. All red people are kind. If someone is rough then they are big. All big people are rough. If someone is kind and not big then they are not round. If Charlie is young and Charlie is not big then Charlie is not kind. If Gary is round and Gary is red then Gary is kind. If someone is round then they are young.
Charlie is round.
@0: Charlie is big.[(triple1 OR ((triple4) -> rule3))] Charlie is kind.[(triple2 OR ((triple3) -> rule2))] Charlie is not smart.[(triple6)] Charlie is red.[(triple3)] Charlie is rough.[(triple4 OR ((triple1) -> rule4))] Charlie is round.[(triple5)] Charlie is young.[(triple7 OR ((triple5) -> rule8))] Gary is not red.[(triple8)] Gary is not young.[(triple10)] Gary is smart.[(triple9)] @1: Gary is kind.[(((triple9) -> rule1))]