Young Bob is wearing green pants. Dave is a rough kind of Fellow, but described as a nice and kind Person, even though Dave is red. This Eric guy is red. He is also kind and yet cold. Fred is nice and kind, but a little rough. Cold people,though green and red,tend to be rough. A young and cold person is red. If you are green you are also kind. Being green and rough are signs that someone is big. When you meet kind people they wont have a cold heart.
Bob is cold.
@0: Bob is green.[(triple2)] Bob is young.[(triple1)] Dave is kind.[(triple6)] Dave is nice.[(triple5)] Dave is red.[(triple4)] Dave is rough.[(triple3)] Eric is cold.[(triple9 OR ((triple8) -> rule5))] Eric is kind.[(triple8)] Eric is red.[(triple7)] Fred is kind.[(triple12)] Fred is nice.[(triple11)] Fred is rough.[(triple10)] @1: Bob is kind.[(((triple2) -> rule3))] Dave is cold.[(((triple6) -> rule5))] Fred is cold.[(((triple12) -> rule5))] @2: Bob is cold.[(((((triple2) -> rule3)) -> rule5))] @3: Bob is red.[(((((((triple2) -> rule3)) -> rule5) triple1) -> rule2))] @4: Bob is rough.[(((((((triple2) -> rule3)) -> rule5) triple2 ((((((triple2) -> rule3)) -> rule5) triple1) -> rule2)) -> rule1))] @5: Bob is big.[(((triple2 ((((((triple2) -> rule3)) -> rule5) triple2 ((((((triple2) -> rule3)) -> rule5) triple1) -> rule2)) -> rule1)) -> rule4))]