The lion is cold. The lion is nice. The lion is rough. If someone is round and nice then they are not green. If someone is round then they are green. If someone is cold and round then they are not green. All rough, nice people are green. All round people are green. All nice, round people are green. If someone is green then they are rough. If someone is cold and round then they are rough.
The lion is cold.
@0: The lion is cold.[(triple1)] The lion is nice.[(triple2)] The lion is rough.[(triple3)] @1: The lion is green.[(((triple3 triple2) -> rule4))]