Even though Eric is big and round, he is cold much of the time. Fred wears all blue. Gary is colored red and green. He is also young, rough and very cold. Harry has a round face and is very nice. A green and blue colored person who is young will certainly be big. Fat, round people who are green with envy and notoriously rough. Any rather round person exposed to weather that leaves them red and cold will feel blue. There could be a round someone with red hair wearing blue pants. Round people are often red before they turn green. Unfortunately, all the young people who are considered green are all round. Someone who is cold and big is also a red person.
Eric is not blue.
@0: Eric is big.[(triple3)] Eric is cold.[(triple2)] Eric is round.[(triple1)] Fred is blue.[(triple4)] Gary is cold.[(triple9)] Gary is green.[(triple8)] Gary is red.[(triple7)] Gary is rough.[(triple6 OR ((triple8 ((triple8 triple5) -> rule6)) -> rule2))] Gary is young.[(triple5)] Harry is nice.[(triple11)] Harry is round.[(triple10)] @1: Eric is red.[(((triple3 triple2) -> rule7))] Gary is round.[(((triple8 triple5) -> rule6))] @2: Eric is blue.[(((((triple3 triple2) -> rule7) triple1) -> rule4) OR ((triple1 ((triple3 triple2) -> rule7) triple2) -> rule3))] Eric is green.[(((triple1 ((triple3 triple2) -> rule7)) -> rule5))] Gary is blue.[(((triple7 ((triple8 triple5) -> rule6)) -> rule4) OR ((((triple8 triple5) -> rule6) triple7 triple9) -> rule3))] @3: Eric is rough.[(((((triple1 ((triple3 triple2) -> rule7)) -> rule5) triple1) -> rule2))] Gary is big.[(((triple8 triple5 ((triple7 ((triple8 triple5) -> rule6)) -> rule4)) -> rule1) OR ((triple8 triple5 ((((triple8 triple5) -> rule6) triple7 triple9) -> rule3)) -> rule1))]