Bob is blue. Bob is quiet. Bob is rough. Bob is smart. Erin is blue. Erin is quiet. Erin is smart. All nice, cold things are blue. All big things are cold. All big things are smart. Smart, cold things are quiet. If something is blue and quiet then it is cold. All cold, big things are nice.
Bob is not quiet.
@0: Bob is blue.[(triple1)] Bob is quiet.[(triple2)] Bob is rough.[(triple3)] Bob is smart.[(triple4)] Erin is blue.[(triple5)] Erin is quiet.[(triple6)] Erin is smart.[(triple7)] @1: Bob is cold.[(((triple1 triple2) -> rule5))] Erin is cold.[(((triple5 triple6) -> rule5))]