You can see Bob walking down the street because he is big and round.  He's actually a kind guy even though he's rough around the edges.  He also has a red, ruddy complexion. Others enjoy Fred's company because he is so nice and kind. Everyone knows that Gary is nice and kind, but Gary is also blue from the cold. This makes him look rather round. A cold, rough person is also round. A round person who is nice is young. Cold, rough people are always green. A kind person who is big in size is definitely young. Someone who is kind and young with a round figure will always be red too. A young person who is red a kind is also usually big. Being big and blue is standard for being green.
Bob is not round.
@0: Bob is big.[(triple5)] Bob is kind.[(triple4)] Bob is red.[(triple3 OR ((triple1 ((triple4 triple5) -> rule4) triple4) -> rule5))] Bob is rough.[(triple2)] Bob is round.[(triple1)] Fred is kind.[(triple7)] Fred is nice.[(triple6)] Gary is blue.[(triple12)] Gary is cold.[(triple11)] Gary is kind.[(triple10)] Gary is nice.[(triple9)] Gary is round.[(triple8)] @1: Bob is young.[(((triple4 triple5) -> rule4))] Gary is young.[(((triple9 triple8) -> rule2))] @2: Gary is red.[(((triple8 ((triple9 triple8) -> rule2) triple10) -> rule5))] @3: Gary is big.[(((((triple8 ((triple9 triple8) -> rule2) triple10) -> rule5) ((triple9 triple8) -> rule2) triple10) -> rule6))] @4: Gary is green.[(((((((triple8 ((triple9 triple8) -> rule2) triple10) -> rule5) ((triple9 triple8) -> rule2) triple10) -> rule6) triple12) -> rule7))]