Dave is rough. Dave is smart. Dave is white. Erin is blue. Erin is nice. Erin is red. Erin is rough. Gary is blue. Gary is nice. Gary is red. Gary is smart. Harry is kind. All kind people are white. Nice, rough people are white. All rough people are smart.
Dave is not smart.
@0: Dave is rough.[(triple1)] Dave is smart.[(triple2 OR ((triple1) -> rule3))] Dave is white.[(triple3)] Erin is blue.[(triple4)] Erin is nice.[(triple5)] Erin is red.[(triple6)] Erin is rough.[(triple7)] Gary is blue.[(triple8)] Gary is nice.[(triple9)] Gary is red.[(triple10)] Gary is smart.[(triple11)] Harry is kind.[(triple12)] @1: Erin is smart.[(((triple7) -> rule3))] Erin is white.[(((triple5 triple7) -> rule2))] Harry is white.[(((triple12) -> rule1))]