Charlie is big. Charlie is kind. Charlie is nice. Charlie is not rough. Charlie is smart. Dave is big. Dave is kind. Dave is not nice. Dave is quiet. Gary is kind. Gary is quiet. Gary is smart. Harry is big. Harry is not nice. Harry is rough. If someone is kind and smart then they are quiet. Rough, quiet people are kind. All green, quiet people are not nice. If Dave is not green then Dave is not smart. If someone is smart and rough then they are big. If someone is nice and not kind then they are big.
Charlie is smart.
@0: Charlie is big.[(triple1)] Charlie is kind.[(triple2)] Charlie is nice.[(triple3)] Charlie is not rough.[(triple4)] Charlie is smart.[(triple5)] Dave is big.[(triple6)] Dave is kind.[(triple7)] Dave is not nice.[(triple8)] Dave is quiet.[(triple9)] Gary is kind.[(triple10)] Gary is quiet.[(triple11 OR ((triple10 triple12) -> rule1))] Gary is smart.[(triple12)] Harry is big.[(triple13)] Harry is not nice.[(triple14)] Harry is rough.[(triple15)] @1: Charlie is quiet.[(((triple2 triple5) -> rule1))]