Alan is big and tends to wear red shirts. Dave wears all blue. Although Eric is young and nice, he is as cold as ice. Known as big round Fred, he is kind and nice and dresses all green and blue. Kind young people are red. Any human being with green, big, kind eyes, also has round eyes. Everyone who manages to be both rough and round are also kind. Big, red things tend to have a kind spirit to them. A person with the qualities of being cold and being red will also be a person that is green. When you meet kind people they wont have a cold heart. Anybody that is rough, cold and nice will be round at the same time.
Dave is red.
@0: Alan is big.[(triple2)] Alan is red.[(triple1)] Dave is blue.[(triple3)] Eric is cold.[(triple6)] Eric is nice.[(triple5)] Eric is young.[(triple4)] Fred is big.[(triple12)] Fred is blue.[(triple11)] Fred is green.[(triple10)] Fred is kind.[(triple9)] Fred is nice.[(triple8)] Fred is round.[(triple7 OR ((triple10 triple12 triple9) -> rule2))] @1: Alan is kind.[(((triple1 triple2) -> rule4))] Fred is cold.[(((triple9) -> rule6))] @2: Alan is cold.[(((((triple1 triple2) -> rule4)) -> rule6))] @3: Alan is green.[(((((((triple1 triple2) -> rule4)) -> rule6) triple1) -> rule5))] @4: Alan is round.[(((((((((triple1 triple2) -> rule4)) -> rule6) triple1) -> rule5) triple2 ((triple1 triple2) -> rule4)) -> rule2))]