Bob is not big. Bob is cold. Bob is quiet. Charlie is red. Dave is blue. Dave is kind. Dave is not red. Dave is rough. Gary is kind. Gary is rough. If something is kind then it is big. All quiet things are red. If something is blue and not quiet then it is not cold. If something is big and not quiet then it is blue. If something is cold and not blue then it is not rough. Red, quiet things are rough.
Charlie is cold.
@0: Bob is cold.[(triple2)] Bob is not big.[(triple1)] Bob is quiet.[(triple3)] Charlie is red.[(triple4)] Dave is blue.[(triple5)] Dave is kind.[(triple6)] Dave is not red.[(triple7)] Dave is rough.[(triple8)] Gary is kind.[(triple9)] Gary is rough.[(triple10)] @1: Bob is red.[(((triple3) -> rule2))] Dave is big.[(((triple6) -> rule1))] Gary is big.[(((triple9) -> rule1))] @2: Bob is rough.[(((((triple3) -> rule2) triple3) -> rule6))]