Dave, who is round, red, kind, and also green, tends to be rather blue. Even though he's a big dude, Fred is cold. Gary is a kind and red colored guy. Harry is a young and nice man, and he is also very big shaped. Nice and blue people have to be big as well. A rough, blue person is often said to be nice. Try to cheer up those young folks that are rough and kind, for they are very likely feeling blue. Rough and kind people are big. A young, red person will certainly be cold. Kind people who are also rough are young. It's always true that round, kind people are rough as well.
Dave is rough.
@0: Dave is blue.[(triple5 OR ((triple3 ((triple1 triple3) -> rule7) ((((triple1 triple3) -> rule7) triple3) -> rule6)) -> rule3))] Dave is green.[(triple4)] Dave is kind.[(triple3)] Dave is red.[(triple2)] Dave is round.[(triple1)] Fred is big.[(triple7)] Fred is cold.[(triple6)] Gary is kind.[(triple9)] Gary is red.[(triple8)] Harry is big.[(triple12)] Harry is nice.[(triple11)] Harry is young.[(triple10)] @1: Dave is rough.[(((triple1 triple3) -> rule7))] @2: Dave is big.[(((((triple1 triple3) -> rule7) triple3) -> rule4) OR ((((triple5 ((triple1 triple3) -> rule7)) -> rule2) triple5) -> rule1) OR ((((triple5 ((triple1 triple3) -> rule7)) -> rule2) ((triple3 ((triple1 triple3) -> rule7) ((((triple1 triple3) -> rule7) triple3) -> rule6)) -> rule3)) -> rule1) OR ((((((triple3 ((triple1 triple3) -> rule7) ((((triple1 triple3) -> rule7) triple3) -> rule6)) -> rule3) ((triple1 triple3) -> rule7)) -> rule2) triple5) -> rule1) OR ((((((triple3 ((triple1 triple3) -> rule7) ((((triple1 triple3) -> rule7) triple3) -> rule6)) -> rule3) ((triple1 triple3) -> rule7)) -> rule2) ((triple3 ((triple1 triple3) -> rule7) ((((triple1 triple3) -> rule7) triple3) -> rule6)) -> rule3)) -> rule1))] Dave is nice.[(((triple5 ((triple1 triple3) -> rule7)) -> rule2) OR ((((triple3 ((triple1 triple3) -> rule7) ((((triple1 triple3) -> rule7) triple3) -> rule6)) -> rule3) ((triple1 triple3) -> rule7)) -> rule2))] Dave is young.[(((((triple1 triple3) -> rule7) triple3) -> rule6))] @3: Dave is cold.[(((triple2 ((((triple1 triple3) -> rule7) triple3) -> rule6)) -> rule5))]