Bob is rough. Bob is smart. Dave is cold. Dave is kind. Dave is quiet. Dave is white. Gary is kind. Gary is rough. Gary is smart. Harry is quiet. If Dave is kind then Dave is smart. If something is smart then it is rough. If something is rough and cold then it is big.
Dave is not big.
@0: Bob is rough.[(triple1 OR ((triple2) -> rule2))] Bob is smart.[(triple2)] Dave is cold.[(triple3)] Dave is kind.[(triple4)] Dave is quiet.[(triple5)] Dave is white.[(triple6)] Gary is kind.[(triple7)] Gary is rough.[(triple8 OR ((triple9) -> rule2))] Gary is smart.[(triple9)] Harry is quiet.[(triple10)] @1: Dave is smart.[(((triple4) -> rule1))] @2: Dave is rough.[(((((triple4) -> rule1)) -> rule2))] @3: Dave is big.[(((((((triple4) -> rule1)) -> rule2) triple3) -> rule3))]