Alan who is considered nice was feeling rather rough today. Others enjoy Bob's company because he is so nice and kind. Charlie is a nice and kind young man who is quite big in size. Eric is young and kind.  But he plays really rough with his friends. Nice, green people that are somewhat round are big through the shoulders. Red people who are green and blue are always kind. Whenever you see Pete you run into a young man rough, which means he will be nice. A person that is both nice and young will also be cold. Most kind and cold people are also big.
Alan is big.
@0: Alan is nice.[(triple2)] Alan is rough.[(triple1)] Bob is kind.[(triple4)] Bob is nice.[(triple3)] Charlie is big.[(triple8 OR ((triple7 ((triple6 triple5) -> rule4)) -> rule5))] Charlie is kind.[(triple7)] Charlie is nice.[(triple6)] Charlie is young.[(triple5)] Eric is kind.[(triple11)] Eric is rough.[(triple10)] Eric is young.[(triple9)] @1: Charlie is cold.[(((triple6 triple5) -> rule4))] Eric is nice.[(((triple9 triple10) -> rule3))] @2: Eric is cold.[(((((triple9 triple10) -> rule3) triple9) -> rule4))] @3: Eric is big.[(((triple11 ((((triple9 triple10) -> rule3) triple9) -> rule4)) -> rule5))]