Bob is kind. Bob is nice. Erin is cold. Erin is kind. Erin is not nice. Gary is cold. Gary is rough. If something is round and not blue then it is not cold. If something is blue and nice then it is not kind. If something is blue and not nice then it is kind. If something is kind and not round then it is rough. Nice, round things are rough. If something is kind then it is quiet.
Erin is round.
@0: Bob is kind.[(triple1)] Bob is nice.[(triple2)] Erin is cold.[(triple3)] Erin is kind.[(triple4)] Erin is not nice.[(triple5)] Gary is cold.[(triple6)] Gary is rough.[(triple7)] @1: Bob is quiet.[(((triple1) -> rule6))] Erin is quiet.[(((triple4) -> rule6))]