Bob is nice and young with red hair and a blue shirt. In the snow sits Dave, crying from being cold. This Eric guy is red. He is also kind and yet cold. When you see Gary, you will notice he is cold, big and kind. Big, young people feel cold all the time. It's a fact that young people are red people. A depressed person feeling blue who is kind cannot escape from being green. Someone that is red and blue because they are cold are also round. Blue, red and nice people are always big, too.
Bob is not nice.
@0: Bob is blue.[(triple4)] Bob is nice.[(triple3)] Bob is red.[(triple2 OR ((triple1) -> rule2))] Bob is young.[(triple1)] Dave is cold.[(triple5)] Eric is cold.[(triple8)] Eric is kind.[(triple7)] Eric is red.[(triple6)] Gary is big.[(triple11)] Gary is cold.[(triple10)] Gary is kind.[(triple9)] @1: Bob is big.[(((triple3 triple4 triple2) -> rule5) OR ((triple3 triple4 ((triple1) -> rule2)) -> rule5))] @2: Bob is cold.[(((triple1 ((triple3 triple4 triple2) -> rule5)) -> rule1) OR ((triple1 ((triple3 triple4 ((triple1) -> rule2)) -> rule5)) -> rule1))] @3: Bob is round.[(((triple4 triple2 ((triple1 ((triple3 triple4 triple2) -> rule5)) -> rule1)) -> rule4) OR ((triple4 ((triple1) -> rule2) ((triple1 ((triple3 triple4 triple2) -> rule5)) -> rule1)) -> rule4) OR ((triple4 triple2 ((triple1 ((triple3 triple4 ((triple1) -> rule2)) -> rule5)) -> rule1)) -> rule4) OR ((triple4 ((triple1) -> rule2) ((triple1 ((triple3 triple4 ((triple1) -> rule2)) -> rule5)) -> rule1)) -> rule4))]