Bob wears all blue. Charlie is big and dresses in blue. Fred is a big, round, nice, and red fellow is looking a bit green righ now. Blue Christmas ornaments are also red. It's easy to be round and blue when you are young. Someone blue and red is definitely round and dressed as a clown. People that are red and blue and green at the same time have a reason to be cold. Green eyed people are often nice, but when they are also round about the middle they are most certainly kind. A person who is green and kind is usually rather big. Big kind people are usually cold.
Fred is rough.
@0: Bob is blue.[(triple1)] Charlie is big.[(triple3)] Charlie is blue.[(triple2)] Fred is big.[(triple8 OR ((triple7 ((triple7 triple6 triple4) -> rule5)) -> rule6))] Fred is green.[(triple7)] Fred is nice.[(triple6)] Fred is red.[(triple5)] Fred is round.[(triple4)] @1: Bob is red.[(((triple1) -> rule1))] Charlie is red.[(((triple2) -> rule1))] Fred is kind.[(((triple7 triple6 triple4) -> rule5))] @2: Bob is round.[(((triple1 ((triple1) -> rule1)) -> rule3))] Charlie is round.[(((triple2 ((triple2) -> rule1)) -> rule3))] Fred is cold.[(((((triple7 triple6 triple4) -> rule5) triple8) -> rule7) OR ((((triple7 triple6 triple4) -> rule5) ((triple7 ((triple7 triple6 triple4) -> rule5)) -> rule6)) -> rule7))] @3: Bob is young.[(((((triple1 ((triple1) -> rule1)) -> rule3) triple1) -> rule2))] Charlie is young.[(((((triple2 ((triple2) -> rule1)) -> rule3) triple2) -> rule2))]