Alan is green and cold too. Bob who is young and nice is also quite big and feels green. Eric is a big fellow, often blue and sad, but he is nice. Harry was proud of being round, yet rough. His red cheeks glowed. When a person is nice and round and cold, they look blue. Rough people who are red in color and big are usally round in shape. A rather big person is a red person. Kind people with rough skin are usually red because it's wind burn. Kind red and round people often look green. Big people who are blue and red are afflicted with rough skin. Rough people who look red are cold.
Eric is not blue.
@0: Alan is cold.[(triple2)] Alan is green.[(triple1)] Bob is big.[(triple6)] Bob is green.[(triple5)] Bob is nice.[(triple4)] Bob is young.[(triple3)] Eric is big.[(triple9)] Eric is blue.[(triple8)] Eric is nice.[(triple7)] Harry is red.[(triple12)] Harry is rough.[(triple11)] Harry is round.[(triple10)] @1: Bob is red.[(((triple6) -> rule3))] Eric is red.[(((triple9) -> rule3))] Harry is cold.[(((triple12 triple11) -> rule7))] @2: Eric is rough.[(((triple8 ((triple9) -> rule3) triple9) -> rule6))] @3: Eric is cold.[(((((triple9) -> rule3) ((triple8 ((triple9) -> rule3) triple9) -> rule6)) -> rule7))] Eric is round.[(((((triple9) -> rule3) ((triple8 ((triple9) -> rule3) triple9) -> rule6) triple9) -> rule2))]