Bob is green. Erin is rough. Gary is cold. Gary is smart. Harry is green. Harry is smart. Harry is white. If something is white then it is green. All rough things are quiet. If something is green and smart then it is cold. All quiet things are blue. All quiet things are white. All white things are rough. Quiet, green things are smart.
Gary is not white.
@0: Bob is green.[(triple1)] Erin is rough.[(triple2)] Gary is cold.[(triple3)] Gary is smart.[(triple4)] Harry is green.[(triple5 OR ((triple7) -> rule1))] Harry is smart.[(triple6 OR ((((((triple7) -> rule6)) -> rule2) triple5) -> rule7) OR ((((((triple7) -> rule6)) -> rule2) ((triple7) -> rule1)) -> rule7))] Harry is white.[(triple7)] @1: Erin is quiet.[(((triple2) -> rule2))] Harry is cold.[(((triple5 triple6) -> rule3) OR ((((triple7) -> rule1) triple6) -> rule3) OR ((triple5 ((((((triple7) -> rule6)) -> rule2) triple5) -> rule7)) -> rule3) OR ((triple5 ((((((triple7) -> rule6)) -> rule2) ((triple7) -> rule1)) -> rule7)) -> rule3) OR ((((triple7) -> rule1) ((((((triple7) -> rule6)) -> rule2) triple5) -> rule7)) -> rule3) OR ((((triple7) -> rule1) ((((((triple7) -> rule6)) -> rule2) ((triple7) -> rule1)) -> rule7)) -> rule3))] Harry is rough.[(((triple7) -> rule6))] @2: Erin is blue.[(((((triple2) -> rule2)) -> rule4))] Erin is white.[(((((triple2) -> rule2)) -> rule5))] Harry is quiet.[(((((triple7) -> rule6)) -> rule2))] @3: Erin is green.[(((((((triple2) -> rule2)) -> rule5)) -> rule1))] Harry is blue.[(((((((triple7) -> rule6)) -> rule2)) -> rule4))] @4: Erin is smart.[(((((triple2) -> rule2) ((((((triple2) -> rule2)) -> rule5)) -> rule1)) -> rule7))] @5: Erin is cold.[(((((((((triple2) -> rule2)) -> rule5)) -> rule1) ((((triple2) -> rule2) ((((((triple2) -> rule2)) -> rule5)) -> rule1)) -> rule7)) -> rule3))]