Alan was born only a few years ago so he is young. Bob who is considered nice was feeling rather rough today. In the snow sits Charlie, crying from being cold. Eric is nice and kind, but a little rough. If someone is cold and young, you'll see that they are kind. Pick someone blue, kind and big, and they are certain to be green as well. A quite nice person who is red and green is also big. Lucky for us, people that are round and red are kind to strangers. A human that's cold also means they are a human that is young. Nice people are cold people.
Charlie is round.
@0: Alan is young.[(triple1)] Bob is nice.[(triple3)] Bob is rough.[(triple2)] Charlie is cold.[(triple4)] Eric is kind.[(triple7 OR ((((triple6) -> rule6) ((((triple6) -> rule6)) -> rule5)) -> rule1))] Eric is nice.[(triple6)] Eric is rough.[(triple5)] @1: Bob is cold.[(((triple3) -> rule6))] Charlie is young.[(((triple4) -> rule5))] Eric is cold.[(((triple6) -> rule6))] @2: Bob is young.[(((((triple3) -> rule6)) -> rule5))] Charlie is kind.[(((triple4 ((triple4) -> rule5)) -> rule1))] Eric is young.[(((((triple6) -> rule6)) -> rule5))] @3: Bob is kind.[(((((triple3) -> rule6) ((((triple3) -> rule6)) -> rule5)) -> rule1))]