In the snow sits Bob, crying from being cold. Eric looks to be red, green, and blue, he is also round and rough. It's easy to tell that Gary is young because he is so round. Even though he is kind it makes him green with envy of some people. Find someone cold and green. If they are also round, then they are sure to be nice. It seems to be that a person who is green, red, and blue will be very big. A person with nice, blue traits who is young will surely be a round person. A person with a rough quality is also a person with a blue quality. A nice and young aged person will definitely be green in color. A big and round shaped, blue person will be cold for sure.
Eric is nice.
@0: Bob is cold.[(triple1)] Eric is blue.[(triple6 OR ((triple3) -> rule4))] Eric is green.[(triple5)] Eric is red.[(triple4)] Eric is rough.[(triple3)] Eric is round.[(triple2)] Gary is green.[(triple10)] Gary is kind.[(triple9)] Gary is round.[(triple8)] Gary is young.[(triple7)] @1: Eric is big.[(((triple4 triple6 triple5) -> rule2) OR ((triple4 ((triple3) -> rule4) triple5) -> rule2))] @2: Eric is cold.[(((triple2 triple6 ((triple4 triple6 triple5) -> rule2)) -> rule6) OR ((triple2 ((triple3) -> rule4) ((triple4 triple6 triple5) -> rule2)) -> rule6) OR ((triple2 triple6 ((triple4 ((triple3) -> rule4) triple5) -> rule2)) -> rule6) OR ((triple2 ((triple3) -> rule4) ((triple4 ((triple3) -> rule4) triple5) -> rule2)) -> rule6))] @3: Eric is nice.[(((((triple2 triple6 ((triple4 triple6 triple5) -> rule2)) -> rule6) triple5 triple2) -> rule1) OR ((((triple2 ((triple3) -> rule4) ((triple4 triple6 triple5) -> rule2)) -> rule6) triple5 triple2) -> rule1) OR ((((triple2 triple6 ((triple4 ((triple3) -> rule4) triple5) -> rule2)) -> rule6) triple5 triple2) -> rule1) OR ((((triple2 ((triple3) -> rule4) ((triple4 ((triple3) -> rule4) triple5) -> rule2)) -> rule6) triple5 triple2) -> rule1))]