When you talk about Dave, the first thing you notice is his rough and cold demeanor and then when you talk to him you find out how very nice he really is to everyone. Eric is young, he is also red and green. To the touch Fred has rough, cold skin. Harry is a nice person who is red because he has a rash. Cold and rough people will also surely be round shaped. When someone is nice and rough they are usually red. Rough, round persons are also nice persons. A young, cold person is often blue.
Fred is not red.
@0: Dave is cold.[(triple3)] Dave is nice.[(triple2 OR ((triple1 ((triple3 triple1) -> rule1)) -> rule3))] Dave is rough.[(triple1)] Eric is green.[(triple6)] Eric is red.[(triple5)] Eric is young.[(triple4)] Fred is cold.[(triple8)] Fred is rough.[(triple7)] Harry is nice.[(triple10)] Harry is red.[(triple9)] @1: Dave is red.[(((triple2 triple1) -> rule2) OR ((((triple1 ((triple3 triple1) -> rule1)) -> rule3) triple1) -> rule2))] Dave is round.[(((triple3 triple1) -> rule1))] Fred is round.[(((triple8 triple7) -> rule1))] @2: Fred is nice.[(((triple7 ((triple8 triple7) -> rule1)) -> rule3))] @3: Fred is red.[(((((triple7 ((triple8 triple7) -> rule1)) -> rule3) triple7) -> rule2))]