Alan is a rough but very kind and blue person. Bob ate some rotten meat and now feels green. Charlie is a person both green and big. Gary is both big and round, with blue features. People who are nice, round and wearing blue will have red cheeks. A rough and kind person is big. A rough, blue person is often said to be nice. Big people are also round people. A person that is rough and round shaped features are going to be red. Round, nice people are normally cold and nasty. If you run into a cold and kind person, they are always big.
Alan is cold.
@0: Alan is blue.[(triple3)] Alan is kind.[(triple2)] Alan is rough.[(triple1)] Bob is green.[(triple4)] Charlie is big.[(triple6)] Charlie is green.[(triple5)] Gary is big.[(triple9)] Gary is blue.[(triple8)] Gary is round.[(triple7 OR ((triple9) -> rule4))] @1: Alan is big.[(((triple2 triple1) -> rule2))] Alan is nice.[(((triple3 triple1) -> rule3))] Charlie is round.[(((triple6) -> rule4))] @2: Alan is round.[(((((triple2 triple1) -> rule2)) -> rule4))] @3: Alan is cold.[(((((((triple2 triple1) -> rule2)) -> rule4) ((triple3 triple1) -> rule3)) -> rule6))] Alan is red.[(((((((triple2 triple1) -> rule2)) -> rule4) triple1) -> rule5) OR ((((triple3 triple1) -> rule3) ((((triple2 triple1) -> rule2)) -> rule4) triple3) -> rule1))]