That guy Alan sure is nice. That guy Bob sure is nice. Dave is green and cold too. Harry is cold but nice with red hair and dresses green. Young and rough people will most certainly be red. Cold people that are big and red are usually nice. A person that is very big and also the color red they will also be blue. If someone shows that they are red, then they are also showing that they are green. Nice and green people are often found to be big as well. A person who is green, blue, and red in color will be round shaped. Every single blue and red person who acts sort of rough tends to be green in places.
Harry is not nice.
@0: Alan is nice.[(triple1)] Bob is nice.[(triple2)] Dave is cold.[(triple4)] Dave is green.[(triple3)] Harry is cold.[(triple8)] Harry is green.[(triple7 OR ((triple5) -> rule4))] Harry is nice.[(triple6)] Harry is red.[(triple5)] @1: Harry is big.[(((triple6 triple7) -> rule5) OR ((triple6 ((triple5) -> rule4)) -> rule5))] @2: Harry is blue.[(((((triple6 triple7) -> rule5) triple5) -> rule3) OR ((((triple6 ((triple5) -> rule4)) -> rule5) triple5) -> rule3))] @3: Harry is round.[(((triple7 ((((triple6 triple7) -> rule5) triple5) -> rule3) triple5) -> rule6) OR ((((triple5) -> rule4) ((((triple6 triple7) -> rule5) triple5) -> rule3) triple5) -> rule6) OR ((triple7 ((((triple6 ((triple5) -> rule4)) -> rule5) triple5) -> rule3) triple5) -> rule6) OR ((((triple5) -> rule4) ((((triple6 ((triple5) -> rule4)) -> rule5) triple5) -> rule3) triple5) -> rule6))]