Alan seems big and rough, but he's actually quite kind. Eric seems big and rough, but he's actually quite kind. Fred is a young, rough person who is rather round but is also kind to everyone he meets. The young person who is always feeling cold is named Harry. A person who is kind, cold, and rough is big. A big, round person who is kind is also red. When rough and kind can describe a person, then cold will describe them, too. Someone being nice, even when they are cold without a doubt means that they are round about the middle. Most big and cold people are also rough. If someone is cold and blue, you will find that they are also quite young.
Alan is cold.
@0: Alan is big.[(triple3 OR ((triple2 ((triple2 triple1) -> rule3) triple1) -> rule1))] Alan is kind.[(triple2)] Alan is rough.[(triple1)] Eric is big.[(triple6 OR ((triple5 ((triple5 triple4) -> rule3) triple4) -> rule1))] Eric is kind.[(triple5)] Eric is rough.[(triple4)] Fred is kind.[(triple10)] Fred is rough.[(triple9)] Fred is round.[(triple8)] Fred is young.[(triple7)] Harry is cold.[(triple12)] Harry is young.[(triple11)] @1: Alan is cold.[(((triple2 triple1) -> rule3))] Eric is cold.[(((triple5 triple4) -> rule3))] Fred is cold.[(((triple10 triple9) -> rule3))] @2: Fred is big.[(((triple10 ((triple10 triple9) -> rule3) triple9) -> rule1))] @3: Fred is red.[(((((triple10 ((triple10 triple9) -> rule3) triple9) -> rule1) triple8 triple10) -> rule2))]