Bob is not big. Bob is cold. Bob is green. Bob is quiet. Erin is cold. Erin is green. Erin is quiet. Erin is red. Erin is smart. Gary is nice. Green, smart things are quiet. If Bob is smart then Bob is not big. If something is quiet and not big then it is nice.
Gary is not quiet.
@0: Bob is cold.[(triple2)] Bob is green.[(triple3)] Bob is not big.[(triple1)] Bob is quiet.[(triple4)] Erin is cold.[(triple5)] Erin is green.[(triple6)] Erin is quiet.[(triple7 OR ((triple6 triple9) -> rule1))] Erin is red.[(triple8)] Erin is smart.[(triple9)] Gary is nice.[(triple10)] @1: Bob is nice.[(((triple4 triple1) -> rule3))]