Charlie is kind. Charlie is white. Dave is big. Dave is rough. Erin is white. Gary is big. Gary is quiet. Gary is rough. Gary is smart. Gary is white. Rough, quiet people are kind. If Dave is blue and Dave is rough then Dave is big. All kind, quiet people are smart. Big people are smart. All kind, big people are smart. If someone is blue and kind then they are quiet.
Charlie is big.
@0: Charlie is kind.[(triple1)] Charlie is white.[(triple2)] Dave is big.[(triple3)] Dave is rough.[(triple4)] Erin is white.[(triple5)] Gary is big.[(triple6)] Gary is quiet.[(triple7)] Gary is rough.[(triple8)] Gary is smart.[(triple9 OR ((triple6) -> rule4) OR ((((triple8 triple7) -> rule1) triple6) -> rule5) OR ((((triple8 triple7) -> rule1) triple7) -> rule3))] Gary is white.[(triple10)] @1: Dave is smart.[(((triple3) -> rule4))] Gary is kind.[(((triple8 triple7) -> rule1))]