Anne is not rough. Bob is blue. Erin is not furry. Erin is red. Gary is big. Gary is not cold. Gary is furry. If something is blue then it is rough. Red things are rough. If Gary is rough then Gary is not blue. Rough things are red. Big things are quiet. All cold things are big. If something is red then it is big. If something is blue and not rough then it is big. Quiet, big things are not cold.
Bob is not quiet.
@0: Anne is not rough.[(triple1)] Bob is blue.[(triple2)] Erin is not furry.[(triple3)] Erin is red.[(triple4)] Gary is big.[(triple5)] Gary is furry.[(triple7)] Gary is not cold.[(triple6 OR ((((triple5) -> rule5) triple5) -> rule9))] @1: Bob is rough.[(((triple2) -> rule1))] Erin is big.[(((triple4) -> rule7))] Erin is rough.[(((triple4) -> rule2))] Gary is quiet.[(((triple5) -> rule5))] @2: Bob is red.[(((((triple2) -> rule1)) -> rule4))] Erin is quiet.[(((((triple4) -> rule7)) -> rule5))] @3: Bob is big.[(((((((triple2) -> rule1)) -> rule4)) -> rule7))] Erin is not cold.[(((((((triple4) -> rule7)) -> rule5) ((triple4) -> rule7)) -> rule9))] @4: Bob is quiet.[(((((((((triple2) -> rule1)) -> rule4)) -> rule7)) -> rule5))] @5: Bob is not cold.[(((((((((((triple2) -> rule1)) -> rule4)) -> rule7)) -> rule5) ((((((triple2) -> rule1)) -> rule4)) -> rule7)) -> rule9))]