Bob is red. Dave is red. Dave is rough. Dave is smart. Gary is red. Harry is quiet. Harry is rough. All white, red people are quiet. All green, big people are red. If Bob is quiet then Bob is white. If someone is smart and green then they are big. If Bob is white then Bob is big. Rough people are smart.
Dave is smart.
@0: Bob is red.[(triple1)] Dave is red.[(triple2)] Dave is rough.[(triple3)] Dave is smart.[(triple4 OR ((triple3) -> rule6))] Gary is red.[(triple5)] Harry is quiet.[(triple6)] Harry is rough.[(triple7)] @1: Harry is smart.[(((triple7) -> rule6))]