Bob feels blue because the other kids made fun of his round shape. Charlie is a young , Round fellow with a red color and nice disposition. Gary tends to be blue because he is big and this makes him a little rough around the edges. Harry tends to be blue because he is big and this makes him a little rough around the edges. Round shaped people that are nice and kind are also considerably rough. Blue people are known the world over as nice people. All persons who are big are also kind. If someone is round they could be red or blue, or green. A person that is nice and big is always round. A nice person who is also round will always be big. A big, cold, blue person is rough around the edges.
Harry is not green.
@0: Bob is blue.[(triple2)] Bob is round.[(triple1)] Charlie is nice.[(triple6)] Charlie is red.[(triple5)] Charlie is round.[(triple4)] Charlie is young.[(triple3)] Gary is big.[(triple9)] Gary is blue.[(triple8)] Gary is rough.[(triple7 OR ((((((triple8) -> rule2) triple9) -> rule5) ((triple9) -> rule3) ((triple8) -> rule2)) -> rule1))] Harry is big.[(triple12)] Harry is blue.[(triple11)] Harry is rough.[(triple10 OR ((((((triple11) -> rule2) triple12) -> rule5) ((triple12) -> rule3) ((triple11) -> rule2)) -> rule1))] @1: Bob is nice.[(((triple2) -> rule2))] Charlie is big.[(((triple6 triple4) -> rule6))] Gary is kind.[(((triple9) -> rule3))] Gary is nice.[(((triple8) -> rule2))] Harry is kind.[(((triple12) -> rule3))] Harry is nice.[(((triple11) -> rule2))] @2: Bob is big.[(((((triple2) -> rule2) triple1) -> rule6))] Charlie is kind.[(((((triple6 triple4) -> rule6)) -> rule3))] Gary is round.[(((((triple8) -> rule2) triple9) -> rule5))] Harry is round.[(((((triple11) -> rule2) triple12) -> rule5))] @3: Bob is kind.[(((((((triple2) -> rule2) triple1) -> rule6)) -> rule3))] Charlie is rough.[(((triple4 ((((triple6 triple4) -> rule6)) -> rule3) triple6) -> rule1))] @4: Bob is rough.[(((triple1 ((((((triple2) -> rule2) triple1) -> rule6)) -> rule3) ((triple2) -> rule2)) -> rule1))]