Charlie is nice. Charlie is rough. Erin is big. Erin is nice. Erin is red. Erin is rough. Gary is big. Gary is green. Harry is blue. Harry is rough. All rough, big things are red. All blue things are big. Red, rough things are big. If something is red and big then it is nice. Red, cold things are nice. All nice things are cold. Cold things are green. If Charlie is rough and Charlie is blue then Charlie is cold. If something is green and cold then it is blue.
Gary is cold.
@0: Charlie is nice.[(triple1)] Charlie is rough.[(triple2)] Erin is big.[(triple3 OR ((triple5 triple6) -> rule3) OR ((((((((triple4) -> rule6)) -> rule7) ((triple4) -> rule6)) -> rule9)) -> rule2))] Erin is nice.[(triple4 OR ((triple5 triple3) -> rule4) OR ((triple5 ((triple5 triple6) -> rule3)) -> rule4) OR ((((triple6 triple3) -> rule1) triple3) -> rule4) OR ((((triple6 triple3) -> rule1) ((triple5 triple6) -> rule3)) -> rule4))] Erin is red.[(triple5 OR ((triple6 triple3) -> rule1) OR ((triple6 ((((((((triple4) -> rule6)) -> rule7) ((triple4) -> rule6)) -> rule9)) -> rule2)) -> rule1))] Erin is rough.[(triple6)] Gary is big.[(triple7)] Gary is green.[(triple8)] Harry is blue.[(triple9)] Harry is rough.[(triple10)] @1: Charlie is cold.[(((triple1) -> rule6))] Erin is cold.[(((triple4) -> rule6) OR ((((triple5 triple3) -> rule4)) -> rule6) OR ((((triple5 ((triple5 triple6) -> rule3)) -> rule4)) -> rule6) OR ((((((triple6 triple3) -> rule1) triple3) -> rule4)) -> rule6) OR ((((((triple6 triple3) -> rule1) ((triple5 triple6) -> rule3)) -> rule4)) -> rule6))] Harry is big.[(((triple9) -> rule2))] @2: Charlie is green.[(((((triple1) -> rule6)) -> rule7))] Erin is green.[(((((triple4) -> rule6)) -> rule7) OR ((((((triple5 triple3) -> rule4)) -> rule6)) -> rule7) OR ((((((triple5 ((triple5 triple6) -> rule3)) -> rule4)) -> rule6)) -> rule7) OR ((((((((triple6 triple3) -> rule1) triple3) -> rule4)) -> rule6)) -> rule7) OR ((((((((triple6 triple3) -> rule1) ((triple5 triple6) -> rule3)) -> rule4)) -> rule6)) -> rule7))] Harry is red.[(((triple10 ((triple9) -> rule2)) -> rule1))] @3: Charlie is blue.[(((((((triple1) -> rule6)) -> rule7) ((triple1) -> rule6)) -> rule9))] Erin is blue.[(((((((triple4) -> rule6)) -> rule7) ((triple4) -> rule6)) -> rule9) OR ((((((triple4) -> rule6)) -> rule7) ((((triple5 triple3) -> rule4)) -> rule6)) -> rule9) OR ((((((((triple5 triple3) -> rule4)) -> rule6)) -> rule7) ((triple4) -> rule6)) -> rule9) OR ((((((triple4) -> rule6)) -> rule7) ((((triple5 ((triple5 triple6) -> rule3)) -> rule4)) -> rule6)) -> rule9) OR ((((((triple4) -> rule6)) -> rule7) ((((((triple6 triple3) -> rule1) triple3) -> rule4)) -> rule6)) -> rule9) OR ((((((((triple5 triple3) -> rule4)) -> rule6)) -> rule7) ((((triple5 triple3) -> rule4)) -> rule6)) -> rule9) OR ((((((triple4) -> rule6)) -> rule7) ((((((triple6 triple3) -> rule1) ((triple5 triple6) -> rule3)) -> rule4)) -> rule6)) -> rule9) OR ((((((((triple5 triple3) -> rule4)) -> rule6)) -> rule7) ((((triple5 ((triple5 triple6) -> rule3)) -> rule4)) -> rule6)) -> rule9) OR ((((((((triple5 triple3) -> rule4)) -> rule6)) -> rule7) ((((((triple6 triple3) -> rule1) triple3) -> rule4)) -> rule6)) -> rule9) OR ((((((((triple5 triple3) -> rule4)) -> rule6)) -> rule7) ((((((triple6 triple3) -> rule1) ((triple5 triple6) -> rule3)) -> rule4)) -> rule6)) -> rule9) OR ((((((((triple5 ((triple5 triple6) -> rule3)) -> rule4)) -> rule6)) -> rule7) ((triple4) -> rule6)) -> rule9) OR ((((((((((triple6 triple3) -> rule1) triple3) -> rule4)) -> rule6)) -> rule7) ((triple4) -> rule6)) -> rule9) OR ((((((((triple5 ((triple5 triple6) -> rule3)) -> rule4)) -> rule6)) -> rule7) ((((triple5 triple3) -> rule4)) -> rule6)) -> rule9) OR ((((((((((triple6 triple3) -> rule1) triple3) -> rule4)) -> rule6)) -> rule7) ((((triple5 triple3) -> rule4)) -> rule6)) -> rule9) OR ((((((((((triple6 triple3) -> rule1) ((triple5 triple6) -> rule3)) -> rule4)) -> rule6)) -> rule7) ((triple4) -> rule6)) -> rule9) OR ((((((((triple5 ((triple5 triple6) -> rule3)) -> rule4)) -> rule6)) -> rule7) ((((triple5 ((triple5 triple6) -> rule3)) -> rule4)) -> rule6)) -> rule9) OR ((((((((triple5 ((triple5 triple6) -> rule3)) -> rule4)) -> rule6)) -> rule7) ((((((triple6 triple3) -> rule1) triple3) -> rule4)) -> rule6)) -> rule9) OR ((((((((((triple6 triple3) -> rule1) triple3) -> rule4)) -> rule6)) -> rule7) ((((triple5 ((triple5 triple6) -> rule3)) -> rule4)) -> rule6)) -> rule9) OR ((((((((((triple6 triple3) -> rule1) triple3) -> rule4)) -> rule6)) -> rule7) ((((((triple6 triple3) -> rule1) triple3) -> rule4)) -> rule6)) -> rule9) OR ((((((((((triple6 triple3) -> rule1) ((triple5 triple6) -> rule3)) -> rule4)) -> rule6)) -> rule7) ((((triple5 triple3) -> rule4)) -> rule6)) -> rule9) OR ((((((((triple5 ((triple5 triple6) -> rule3)) -> rule4)) -> rule6)) -> rule7) ((((((triple6 triple3) -> rule1) ((triple5 triple6) -> rule3)) -> rule4)) -> rule6)) -> rule9) OR ((((((((((triple6 triple3) -> rule1) triple3) -> rule4)) -> rule6)) -> rule7) ((((((triple6 triple3) -> rule1) ((triple5 triple6) -> rule3)) -> rule4)) -> rule6)) -> rule9) OR ((((((((((triple6 triple3) -> rule1) ((triple5 triple6) -> rule3)) -> rule4)) -> rule6)) -> rule7) ((((triple5 ((triple5 triple6) -> rule3)) -> rule4)) -> rule6)) -> rule9) OR ((((((((((triple6 triple3) -> rule1) ((triple5 triple6) -> rule3)) -> rule4)) -> rule6)) -> rule7) ((((((triple6 triple3) -> rule1) triple3) -> rule4)) -> rule6)) -> rule9) OR ((((((((((triple6 triple3) -> rule1) ((triple5 triple6) -> rule3)) -> rule4)) -> rule6)) -> rule7) ((((((triple6 triple3) -> rule1) ((triple5 triple6) -> rule3)) -> rule4)) -> rule6)) -> rule9))] Harry is nice.[(((((triple10 ((triple9) -> rule2)) -> rule1) ((triple9) -> rule2)) -> rule4))] @4: Charlie is big.[(((((((((triple1) -> rule6)) -> rule7) ((triple1) -> rule6)) -> rule9)) -> rule2))] Harry is cold.[(((((((triple10 ((triple9) -> rule2)) -> rule1) ((triple9) -> rule2)) -> rule4)) -> rule6))] @5: Charlie is red.[(((triple2 ((((((((triple1) -> rule6)) -> rule7) ((triple1) -> rule6)) -> rule9)) -> rule2)) -> rule1))] Harry is green.[(((((((((triple10 ((triple9) -> rule2)) -> rule1) ((triple9) -> rule2)) -> rule4)) -> rule6)) -> rule7))]