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