Bob is blue. Bob is cold. Bob is nice. Bob is quiet. Bob is rough. Charlie is blue. Charlie is not cold. Charlie is quiet. Charlie is round. Erin is not blue. Erin is not quiet. Erin is rough. Erin is not round. Erin is not smart. Fiona is blue. Fiona is rough. If something is smart and not blue then it is not nice. If Charlie is nice then Charlie is rough. If Bob is blue and Bob is not quiet then Bob is not nice. All cold things are rough. If something is blue and not nice then it is cold. If something is rough and not smart then it is not cold.
Bob is rough.
@0: Bob is blue.[(triple1)] Bob is cold.[(triple2)] Bob is nice.[(triple3)] Bob is quiet.[(triple4)] Bob is rough.[(triple5 OR ((triple2) -> rule4))] Charlie is blue.[(triple6)] Charlie is not cold.[(triple7)] Charlie is quiet.[(triple8)] Charlie is round.[(triple9)] Erin is not blue.[(triple10)] Erin is not quiet.[(triple11)] Erin is not round.[(triple13)] Erin is not smart.[(triple14)] Erin is rough.[(triple12)] Fiona is blue.[(triple15)] Fiona is rough.[(triple16)] @1: Erin is not cold.[(((triple12 triple14) -> rule6))]