Alan is big and dresses in blue. Bob ate some rotten meat and now feels green. That guy Fred is big, but he's always kind to little ones. That guy Harry is big, but he's always kind to little ones. Any big, kind person that turns red is cold to the touch. A person fitting the description of rough, cold and red will also be a nice person. Anybody that is big is also someone who is going to be blue. Big, blue people are red. Round, young folks tend to feel blue. A round person will also be red. A person that is round, green, and blue is usually considered cold.
Harry is not kind.
@0: Alan is big.[(triple2)] Alan is blue.[(triple1 OR ((triple2) -> rule3))] Bob is green.[(triple3)] Fred is big.[(triple5)] Fred is kind.[(triple4)] Harry is big.[(triple7)] Harry is kind.[(triple6)] @1: Alan is red.[(((triple1 triple2) -> rule4) OR ((((triple2) -> rule3) triple2) -> rule4))] Fred is blue.[(((triple5) -> rule3))] Harry is blue.[(((triple7) -> rule3))] @2: Fred is red.[(((((triple5) -> rule3) triple5) -> rule4))] Harry is red.[(((((triple7) -> rule3) triple7) -> rule4))] @3: Fred is cold.[(((((((triple5) -> rule3) triple5) -> rule4) triple5 triple4) -> rule1))] Harry is cold.[(((((((triple7) -> rule3) triple7) -> rule4) triple7 triple6) -> rule1))]