Bob is blue. Bob is not cold. Bob is red. Charlie is kind. Charlie is not rough. Gary is not cold. Harry is red. If someone is smart and not cold then they are kind. If someone is quiet then they are kind. All rough people are blue. Rough, kind people are blue. If Bob is blue and Bob is kind then Bob is rough. All red, rough people are quiet. All red, blue people are rough. Blue people are rough.
Harry is kind.
@0: Bob is blue.[(triple1)] Bob is not cold.[(triple2)] Bob is red.[(triple3)] Charlie is kind.[(triple4)] Charlie is not rough.[(triple5)] Gary is not cold.[(triple6)] Harry is red.[(triple7)] @1: Bob is rough.[(((triple1) -> rule8) OR ((triple3 triple1) -> rule7))] @2: Bob is quiet.[(((triple3 ((triple1) -> rule8)) -> rule6) OR ((triple3 ((triple3 triple1) -> rule7)) -> rule6))] @3: Bob is kind.[(((((triple3 ((triple1) -> rule8)) -> rule6)) -> rule2) OR ((((triple3 ((triple3 triple1) -> rule7)) -> rule6)) -> rule2))]