Charlie is a young guy who is also round, red, kind, cold and blue. Dave ate some rotten meat and now feels green. Fred is young but big for his age. Fred wasn't feeling well so he is a little green. Harry is big and dresses in blue. When young, round people are cold it their skin gets a blue tinge to it. Big, young people feel cold all the time. A round shaped and young aged person will be very cold. Big and cold people are likely to be round, too. A person described as cold and kind can also be described as nice. A young person who is red a kind is also usually big.
Fred is nice.
@0: Charlie is blue.[(triple6 OR ((triple1 triple2 triple5) -> rule1) OR ((triple1 triple2 ((triple2 triple1) -> rule3)) -> rule1) OR ((triple1 triple2 ((triple1 ((triple3 triple1 triple4) -> rule6)) -> rule2)) -> rule1) OR ((triple1 ((((triple3 triple1 triple4) -> rule6) triple5) -> rule4) triple5) -> rule1) OR ((triple1 ((((triple3 triple1 triple4) -> rule6) triple5) -> rule4) ((triple2 triple1) -> rule3)) -> rule1) OR ((triple1 ((((triple3 triple1 triple4) -> rule6) triple5) -> rule4) ((triple1 ((triple3 triple1 triple4) -> rule6)) -> rule2)) -> rule1) OR ((triple1 ((((triple3 triple1 triple4) -> rule6) ((triple1 ((triple3 triple1 triple4) -> rule6)) -> rule2)) -> rule4) triple5) -> rule1) OR ((triple1 ((((triple3 triple1 triple4) -> rule6) ((triple1 ((triple3 triple1 triple4) -> rule6)) -> rule2)) -> rule4) ((triple2 triple1) -> rule3)) -> rule1) OR ((triple1 ((((triple3 triple1 triple4) -> rule6) ((triple1 ((triple3 triple1 triple4) -> rule6)) -> rule2)) -> rule4) ((triple1 ((triple3 triple1 triple4) -> rule6)) -> rule2)) -> rule1))] Charlie is cold.[(triple5 OR ((triple2 triple1) -> rule3) OR ((triple1 ((triple3 triple1 triple4) -> rule6)) -> rule2))] Charlie is kind.[(triple4)] Charlie is red.[(triple3)] Charlie is round.[(triple2 OR ((((triple3 triple1 triple4) -> rule6) triple5) -> rule4) OR ((((triple3 triple1 triple4) -> rule6) ((triple1 ((triple3 triple1 triple4) -> rule6)) -> rule2)) -> rule4))] Charlie is young.[(triple1)] Dave is green.[(triple7)] Fred is big.[(triple10)] Fred is green.[(triple9)] Fred is young.[(triple8)] Harry is big.[(triple12)] Harry is blue.[(triple11)] @1: Charlie is big.[(((triple3 triple1 triple4) -> rule6))] Charlie is nice.[(((triple5 triple4) -> rule5) OR ((((triple2 triple1) -> rule3) triple4) -> rule5) OR ((((triple1 ((triple3 triple1 triple4) -> rule6)) -> rule2) triple4) -> rule5))] Fred is cold.[(((triple8 triple10) -> rule2))] @2: Fred is round.[(((triple10 ((triple8 triple10) -> rule2)) -> rule4))] @3: Fred is blue.[(((triple8 ((triple10 ((triple8 triple10) -> rule2)) -> rule4) ((triple8 triple10) -> rule2)) -> rule1))]