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