Alan is a nice and red, but very kind person as soon as you meet him. This Bob guy is red. He is also kind and yet cold. In the snow sits Charlie, crying from being cold. Dave is a nice and red, but very kind person as soon as you meet him. A green person who is kind and a bit blue is young. People who are rough around the edges, nice, and a bit blue are young. A kind and cold person who is green is, surprisingly, also blue. Show me someone who is cold and kind, and I'll show you how green they are. If you meet someone who is young and cold, then will most definitely be red. If a person is quite big and also round then they are certainly rough too.
Alan is not kind.
@0: Alan is kind.[(triple3)] Alan is nice.[(triple2)] Alan is red.[(triple1)] Bob is cold.[(triple6)] Bob is kind.[(triple5)] Bob is red.[(triple4 OR ((((((triple5 triple6 ((triple6 triple5) -> rule4)) -> rule3) triple5 ((triple6 triple5) -> rule4)) -> rule1) triple6) -> rule5))] Charlie is cold.[(triple7)] Dave is kind.[(triple10)] Dave is nice.[(triple9)] Dave is red.[(triple8)] @1: Bob is green.[(((triple6 triple5) -> rule4))] @2: Bob is blue.[(((triple5 triple6 ((triple6 triple5) -> rule4)) -> rule3))] @3: Bob is young.[(((((triple5 triple6 ((triple6 triple5) -> rule4)) -> rule3) triple5 ((triple6 triple5) -> rule4)) -> rule1))]