In the snow sits Bob, crying from being cold. Charlie ate some rotten meat and now feels green. Dave is rough and is blue, but that's because he's big and round in a small and square world. Eric is really big and young, wearing red and blue while feeling cold. Maybe someone is rough and blue with the cold. Red, big people can't help but be round as well. A person with rough skin who has been standing in the cold will turn red. Young and rough green people, have no choice but to be red. If red and slightly green people are asked, they will tell you they feel blue. A round shaped and red person is definitely nice.
Dave is not cold.
@0: Bob is cold.[(triple1)] Charlie is green.[(triple2)] Dave is big.[(triple6)] Dave is blue.[(triple5)] Dave is rough.[(triple4)] Dave is round.[(triple3 OR ((((((triple4 triple5) -> rule1) triple4) -> rule3) triple6) -> rule2))] Eric is big.[(triple11)] Eric is blue.[(triple10)] Eric is cold.[(triple9)] Eric is red.[(triple8)] Eric is young.[(triple7)] @1: Dave is cold.[(((triple4 triple5) -> rule1))] Eric is round.[(((triple8 triple11) -> rule2))] @2: Dave is red.[(((((triple4 triple5) -> rule1) triple4) -> rule3))] Eric is nice.[(((((triple8 triple11) -> rule2) triple8) -> rule6))] @3: Dave is nice.[(((triple3 ((((triple4 triple5) -> rule1) triple4) -> rule3)) -> rule6) OR ((((((((triple4 triple5) -> rule1) triple4) -> rule3) triple6) -> rule2) ((((triple4 triple5) -> rule1) triple4) -> rule3)) -> rule6))]