Charlie is a person both green and big. Dave can be rather rough, but surprisingly loves the green. He can be rather blue, and is unusually big. Gary was a complicated man. He was rough and red, yet nice and kind. He was as cold as he was blue. A very kind and green colored person, who is also cold, will be nice. Soon you will understand that big people are nice. It seems to be that a person who is green, red, and blue will be very big. It's been proven that red, rough people are green as well. A nice and young aged person will definitely be green in color. A big, blue and cold person will also be a round person.
Gary is big.
@0: Charlie is big.[(triple2)] Charlie is green.[(triple1)] Dave is big.[(triple6)] Dave is blue.[(triple5)] Dave is green.[(triple4)] Dave is rough.[(triple3)] Gary is blue.[(triple12)] Gary is cold.[(triple11)] Gary is kind.[(triple10)] Gary is nice.[(triple9 OR ((triple10 ((triple8 triple7) -> rule4) triple11) -> rule1) OR ((((triple8 triple12 ((triple8 triple7) -> rule4)) -> rule3)) -> rule2))] Gary is red.[(triple8)] Gary is rough.[(triple7)] @1: Charlie is nice.[(((triple2) -> rule2))] Dave is nice.[(((triple6) -> rule2))] Gary is green.[(((triple8 triple7) -> rule4))] @2: Gary is big.[(((triple8 triple12 ((triple8 triple7) -> rule4)) -> rule3))] @3: Gary is round.[(((((triple8 triple12 ((triple8 triple7) -> rule4)) -> rule3) triple11 triple12) -> rule6))]