Alan is a nice and kind young man who is quite big in size. Although Bob is seen as nice and round, his days of playing football have made him quite rough. To the touch Eric has rough, cold skin. If a red and blue person is also kind to people that means they are rough as well. Green people here that are also round and nice are always rough. Find someone big, blue, and kind, and you'll see they are also quite young. Being kind and young means that if they are also blue, they are always red. Being big and kind like a gentle giant can make anyone blue. Whenever you see Pete you run into a young man rough, which means he will be nice. People who are nice and rough are looked at as kind.
Eric is cold.
@0: Alan is big.[(triple4)] Alan is kind.[(triple3)] Alan is nice.[(triple2 OR ((triple1 ((((((triple4 triple3) -> rule5) triple3 triple1) -> rule4) ((triple4 triple3) -> rule5) triple3) -> rule1)) -> rule6) OR ((((triple4 ((triple4 triple3) -> rule5) triple3) -> rule3) ((((((triple4 triple3) -> rule5) triple3 triple1) -> rule4) ((triple4 triple3) -> rule5) triple3) -> rule1)) -> rule6) OR ((triple1 ((((((triple4 triple3) -> rule5) triple3 ((triple4 ((triple4 triple3) -> rule5) triple3) -> rule3)) -> rule4) ((triple4 triple3) -> rule5) triple3) -> rule1)) -> rule6) OR ((((triple4 ((triple4 triple3) -> rule5) triple3) -> rule3) ((((((triple4 triple3) -> rule5) triple3 ((triple4 ((triple4 triple3) -> rule5) triple3) -> rule3)) -> rule4) ((triple4 triple3) -> rule5) triple3) -> rule1)) -> rule6))] Alan is young.[(triple1 OR ((triple4 ((triple4 triple3) -> rule5) triple3) -> rule3))] Bob is nice.[(triple7)] Bob is rough.[(triple6)] Bob is round.[(triple5)] Eric is cold.[(triple9)] Eric is rough.[(triple8)] @1: Alan is blue.[(((triple4 triple3) -> rule5))] Bob is kind.[(((triple7 triple6) -> rule7))] @2: Alan is red.[(((((triple4 triple3) -> rule5) triple3 triple1) -> rule4) OR ((((triple4 triple3) -> rule5) triple3 ((triple4 ((triple4 triple3) -> rule5) triple3) -> rule3)) -> rule4))] @3: Alan is rough.[(((((((triple4 triple3) -> rule5) triple3 triple1) -> rule4) ((triple4 triple3) -> rule5) triple3) -> rule1) OR ((((((triple4 triple3) -> rule5) triple3 ((triple4 ((triple4 triple3) -> rule5) triple3) -> rule3)) -> rule4) ((triple4 triple3) -> rule5) triple3) -> rule1))]