Although Alan is seen as nice and round, his days of playing football have made him quite rough. Bob is blue just like his dog. Bob is rough and round enough for the dog to use him as an exercise wheel. Dave is a red person who is round and also feels blue. Harry is a red person who is round and also feels blue. If a red person is cold and kind to others, they also tend to be blue. A person that is both green and red tends to be cold as well. Fat, round people who are green with envy and notoriously rough. Rough, round persons are also nice persons. Have you noticed that green and round folks are also so young. It is impossible for a nice person who is blue and red not to be rough. A blue and round human being will also be a green human being.
Bob is cold.
@0: Alan is nice.[(triple3 OR ((triple2 triple1) -> rule4))] Alan is rough.[(triple2)] Alan is round.[(triple1)] Bob is blue.[(triple6)] Bob is rough.[(triple5 OR ((((triple6 triple4) -> rule7) triple4) -> rule3))] Bob is round.[(triple4)] Dave is blue.[(triple9)] Dave is red.[(triple8)] Dave is round.[(triple7)] Harry is blue.[(triple12)] Harry is red.[(triple11)] Harry is round.[(triple10)] @1: Bob is green.[(((triple6 triple4) -> rule7))] Bob is nice.[(((triple5 triple4) -> rule4) OR ((((((triple6 triple4) -> rule7) triple4) -> rule3) triple4) -> rule4))] Dave is green.[(((triple9 triple7) -> rule7))] Harry is green.[(((triple12 triple10) -> rule7))] @2: Bob is young.[(((((triple6 triple4) -> rule7) triple4) -> rule5))] Dave is cold.[(((((triple9 triple7) -> rule7) triple8) -> rule2))] Dave is rough.[(((((triple9 triple7) -> rule7) triple7) -> rule3))] Dave is young.[(((((triple9 triple7) -> rule7) triple7) -> rule5))] Harry is cold.[(((((triple12 triple10) -> rule7) triple11) -> rule2))] Harry is rough.[(((((triple12 triple10) -> rule7) triple10) -> rule3))] Harry is young.[(((((triple12 triple10) -> rule7) triple10) -> rule5))] @3: Dave is nice.[(((((((triple9 triple7) -> rule7) triple7) -> rule3) triple7) -> rule4))] Harry is nice.[(((((((triple12 triple10) -> rule7) triple10) -> rule3) triple10) -> rule4))]