Charlie is nice, even when he is rough and red with anger. To the touch Eric has rough, cold skin. Everyone noticed how round and nice Fred was. He was kind, and everyone thought he was green and big. Harry is big and dresses in blue. A nice person with rough skin is red. A person with a rough quality is also a person with a blue quality. A kind person who is big in size is definitely young. Somebody fitting a young, blue and round description will also fit a green description. Anyone with red and blue coloration also has green coloration. Being green and rough are signs that someone is big. A big and round shaped, blue person will be cold for sure.
Charlie is green.
@0: Charlie is nice.[(triple3)] Charlie is red.[(triple2 OR ((triple1 triple3) -> rule1))] Charlie is rough.[(triple1)] Eric is cold.[(triple5)] Eric is rough.[(triple4)] Fred is big.[(triple10)] Fred is green.[(triple9)] Fred is kind.[(triple8)] Fred is nice.[(triple7)] Fred is round.[(triple6)] Harry is big.[(triple12)] Harry is blue.[(triple11)] @1: Charlie is blue.[(((triple1) -> rule2))] Eric is blue.[(((triple4) -> rule2))] Fred is young.[(((triple8 triple10) -> rule3))] @2: Charlie is green.[(((triple2 ((triple1) -> rule2)) -> rule5) OR ((((triple1 triple3) -> rule1) ((triple1) -> rule2)) -> rule5))] @3: Charlie is big.[(((((triple2 ((triple1) -> rule2)) -> rule5) triple1) -> rule6) OR ((((((triple1 triple3) -> rule1) ((triple1) -> rule2)) -> rule5) triple1) -> rule6))]