Bob is big and rough. Eric is a young man who is a bit on the round side. He can be all over the place as he is nice, kind but also rough and blue with his moods. From a certain angle Gary is blue but he is young so maybe that will go away. Harry is blue and cold. Soon you will understand that big people are nice. Someone who is both red and blue will also be a nice person. A kind person who is green is usually round. A young and kind person with red rosy skin is cold. Anyone who is round and also cold will surely be big as well. A big person with cold, rough skin is going to be green as well. Blue people round with fat are red from too much time in the sun.
Eric is not cold.
@0: Bob is big.[(triple2)] Bob is rough.[(triple1)] Eric is blue.[(triple8)] Eric is kind.[(triple7)] Eric is nice.[(triple6 OR ((((triple8 triple4) -> rule7) triple8) -> rule2) OR ((((triple4 ((triple3 triple7 ((triple8 triple4) -> rule7)) -> rule4)) -> rule5)) -> rule1))] Eric is rough.[(triple5)] Eric is round.[(triple4)] Eric is young.[(triple3)] Gary is blue.[(triple10)] Gary is young.[(triple9)] Harry is blue.[(triple12)] Harry is cold.[(triple11)] @1: Bob is nice.[(((triple2) -> rule1))] Eric is red.[(((triple8 triple4) -> rule7))] @2: Eric is cold.[(((triple3 triple7 ((triple8 triple4) -> rule7)) -> rule4))] @3: Eric is big.[(((triple4 ((triple3 triple7 ((triple8 triple4) -> rule7)) -> rule4)) -> rule5))] @4: Eric is green.[(((((triple4 ((triple3 triple7 ((triple8 triple4) -> rule7)) -> rule4)) -> rule5) ((triple3 triple7 ((triple8 triple4) -> rule7)) -> rule4) triple5) -> rule6))]