Alan ate some rotten meat and now feels green. Bob is man who is rough, red, nice, kind, and also green. Young Gary is wearing green pants. Big Harry is cold but kind and always green. Blue people who are cold are always round in shape. Rough and kind people are big. A person described as cold and kind can also be described as nice. Someone who is young and nice is often round. Though their hands were rough and cold they were also kind, which is how I could tell that they were young. Big, red things tend to have a kind spirit to them. Anybody that fits the nice, kind and big descriptors will also fit the descriptor of cold.
Harry is not nice.
@0: Alan is green.[(triple1)] Bob is green.[(triple6)] Bob is kind.[(triple5)] Bob is nice.[(triple4)] Bob is red.[(triple3)] Bob is rough.[(triple2)] Gary is green.[(triple8)] Gary is young.[(triple7)] Harry is big.[(triple12)] Harry is cold.[(triple11)] Harry is green.[(triple10)] Harry is kind.[(triple9)] @1: Bob is big.[(((triple2 triple5) -> rule2))] Harry is nice.[(((triple11 triple9) -> rule3))] @2: Bob is cold.[(((((triple2 triple5) -> rule2) triple4 triple5) -> rule7))] @3: Bob is young.[(((triple5 triple2 ((((triple2 triple5) -> rule2) triple4 triple5) -> rule7)) -> rule5))] @4: Bob is round.[(((((triple5 triple2 ((((triple2 triple5) -> rule2) triple4 triple5) -> rule7)) -> rule5) triple4) -> rule4))]