Young Bob is kind and blue with green and cold traits that show how really big he is. That guy Dave sure is nice. Fred is green and cold too. No one knows Gary like me and he is a kind guy, very round in the belly and green as grass. When a person is nice and round and cold, they look blue. People that are green and big while also being cold are always nice. A kind young person who is green will be cold. Someone who is young at heart and age are very round. A person that is round and somewhat green while being nice tends to be red as well. Any human who is rough, green, and kind, has a blue personality. People who are round and red tend  to be rough.
Bob is not rough.
@0: Bob is big.[(triple6)] Bob is blue.[(triple5 OR ((((triple1) -> rule4) ((triple3 triple6 triple4) -> rule2) triple4) -> rule1) OR ((((triple1) -> rule4) ((triple3 triple6 triple4) -> rule2) ((triple3 triple2 triple1) -> rule3)) -> rule1) OR ((((triple1) -> rule4) ((triple3 triple6 ((triple3 triple2 triple1) -> rule3)) -> rule2) triple4) -> rule1) OR ((((triple1) -> rule4) ((triple3 triple6 ((triple3 triple2 triple1) -> rule3)) -> rule2) ((triple3 triple2 triple1) -> rule3)) -> rule1) OR ((((((((triple1) -> rule4) triple3 ((triple3 triple6 triple4) -> rule2)) -> rule5) ((triple1) -> rule4)) -> rule7) triple3 triple2) -> rule6) OR ((((((((triple1) -> rule4) triple3 ((triple3 triple6 ((triple3 triple2 triple1) -> rule3)) -> rule2)) -> rule5) ((triple1) -> rule4)) -> rule7) triple3 triple2) -> rule6))] Bob is cold.[(triple4 OR ((triple3 triple2 triple1) -> rule3))] Bob is green.[(triple3)] Bob is kind.[(triple2)] Bob is young.[(triple1)] Dave is nice.[(triple7)] Fred is cold.[(triple9)] Fred is green.[(triple8)] Gary is green.[(triple12)] Gary is kind.[(triple11)] Gary is round.[(triple10)] @1: Bob is nice.[(((triple3 triple6 triple4) -> rule2) OR ((triple3 triple6 ((triple3 triple2 triple1) -> rule3)) -> rule2))] Bob is round.[(((triple1) -> rule4))] @2: Bob is red.[(((((triple1) -> rule4) triple3 ((triple3 triple6 triple4) -> rule2)) -> rule5) OR ((((triple1) -> rule4) triple3 ((triple3 triple6 ((triple3 triple2 triple1) -> rule3)) -> rule2)) -> rule5))] @3: Bob is rough.[(((((((triple1) -> rule4) triple3 ((triple3 triple6 triple4) -> rule2)) -> rule5) ((triple1) -> rule4)) -> rule7) OR ((((((triple1) -> rule4) triple3 ((triple3 triple6 ((triple3 triple2 triple1) -> rule3)) -> rule2)) -> rule5) ((triple1) -> rule4)) -> rule7))]