Bob is green, but often kind, even when he is blue and cold. Dave is a young, rough person who is rather round but is also kind to everyone he meets. Fred is a kind person and he is also often cold. That guy Gary sure is nice. Every time you meet someone kind and nice, they'll be green, too. A red hued and rough looking person is definitely a young person. A big, round person who is kind is also red. Round young people, red with loveliness, are very cold towards others. Kind people that are round are on the big side.
Fred is green.
@0: Bob is blue.[(triple4)] Bob is cold.[(triple3)] Bob is green.[(triple2)] Bob is kind.[(triple1)] Dave is kind.[(triple8)] Dave is rough.[(triple7)] Dave is round.[(triple6)] Dave is young.[(triple5 OR ((((((triple8 triple6) -> rule5) triple6 triple8) -> rule3) triple7) -> rule2))] Fred is cold.[(triple10)] Fred is kind.[(triple9)] Gary is nice.[(triple11)] @1: Dave is big.[(((triple8 triple6) -> rule5))] @2: Dave is red.[(((((triple8 triple6) -> rule5) triple6 triple8) -> rule3))] @3: Dave is cold.[(((triple5 ((((triple8 triple6) -> rule5) triple6 triple8) -> rule3) triple6) -> rule4) OR ((((((((triple8 triple6) -> rule5) triple6 triple8) -> rule3) triple7) -> rule2) ((((triple8 triple6) -> rule5) triple6 triple8) -> rule3) triple6) -> rule4))]